You're absolutely right: I'm embarrassed that I hadn't corrected the white balance properly myself. I think you've slightly overdone it, since I don't remember the walls being quite as warm, but I'll experiment a bit more. I really must get myself a grey card and start using it.
Well, the one I posted up here doesn't look like the conversion I did locally. Just to be sure I downloaded what I'd uploaded and the download was warmer than the copy before the upload. Even though I've been doing computer science for 30 years, I really haven't any idea why that's happening, but it's not the first time I've noticed it.
There's no need for embarassment. Those two shots are good. Just a bit more post-processing and they'll both be very good.