Thanks Ray, I downloaded it and am experimenting with it. It needs +4 EV, which makes it a pseudo-equivalent of ISO 51200.
ACR shows everything orangy with "as shot". Where would you pick WB? Or, if you adjust it as you remember to have seen it, what is the temperature and tint in ACR?
The temple is a definite white (in daylight) and is merely reflecting the temperature(s) of the street lighting. An auto WB seems to produce the best results in my opinion, as shown in my screen capture of the ACR window, but I guess that's a matter of taste.
My calculation of ISO 64,000 is based upon dpreview's assessment that ISO 3200 on the 5D is actually ISO 4000. One also should allow something for the fact that a full ETTR generally does not appear in the histogram as 0 EV after EV adjustment has been made.