I hadn't thought of it until I saw this post, but you know, when I was there last year, everytime I walked that way, the jacuzzi hot tub, at least, was in the shade. And I remember thinking many times that I wish it had been in the sun-it was November and looked like it would be too cool to get in and out since it was in the shade.