I remember reading in Feb or March that the pool heater broke and it was going to take a couple of weeks to get parts.
Just to give you another data point, we were there the last week of January and the pool water was 82 degrees. (I keep a pool thermometer in my Owners Locker.)