Finally, do you recall that I'd recently found a better method for blending too different exposures at the outset? I tried to crib some of those results to improve the blown lights here (without starting over entirely), but with only moderate success.

Seems to put a touch more blue into some of the lights though. I.e., worth doing.