Thanks everyone for all the help. I am now happy with the image after my final bit of fiddling where I darkened and lowered the contrast of the rock shadows. Interestingly I have previously used adjustment brushes, in ACR, with increased contrast, highlights, saturation and clarity to paint in increased sunlight on a soft day with diffused light. However I have never thought of using the opposite to paint in shadows.
Ken