Anonymous
It's a very pleasant hotel pool. Very nice to swim in before it officially "opens" in the morning. I don't know water temperature or whether it was heated, but it was a nice temperature. I swam here in October, 2013, and had pool to myself early in morning, before being kicked out by pool cleaner.