Thanks, Peter.
I don't know if you saw my post in the Image Processing forum where we have been discussing and experimenting with various HDR processing of some of these shots; including links to the original Raw files.
Auto HDR compared with manual HDR editing
In every case where I have edited bracketed shots, I found the manual edits, with layers and masks, gave me better results than auto HDR editing.