Here's another version. Unfortunately I shot only in JPEG a couple of months (I have become comfortable with RAW since). I think it looks more bleak, I think that's the mood I am going for. Not sure if it was better to keep the full image at the current exposure and use adjustment brush to selectively lower exposure, or lower the exposure on the entire image and selectively up the exposure, if it even matters (I did the former. And now...I just learned how to use the adjustment brush!).
I welcome any other suggestions! Thanks.