Out of curiosity, why don't they do more retheming and such? Is it a money thing, or a "PC" thing so as not to upset those who don't celebrate? Both? I was a bit surprised when we went down last year for the first time at the holidays. I had a fabulous time, but outside of the Osborne Lights, I was a bit surprised how subtle the Christmas stuff was.