I don't have the original RAWs anymore - just the processed TIFF and that doesn't save the WB info.

It was a partially overcast day in the early afternoon.. I'd assume it was somewhere around 3500-4000K. The yellow/orange tone to the incandescent lights down the right hallway bears that assumption out.