Thanks, all.
Chris, much less than you'd think: it was a dramatic scene. There's a B&W conversion blended in luminosity mode (that's a great technique for boosting detail) and some contrast increase in the blues, with some minor slider adjustments in LR. It took me less than 15 minutes from the raw. If we'd had some sunshine, it would have taken even less.
Jeremy