Any advise for a hotel w/indoor pool. We are trying to plan a December 07 trip to SD & DL, but obviously we will be busy during the day & only want the pool at night. I think even for SD it will be a bit chilly at night for an outdoor pool - right? Any help out there??????