We have a trip planned at fall break in early October but now that they've extended the dining plan, my family of DH, DD20 and DD16 thinks it would be a great time to go at Christmas. We would have to shave our trip down to about 6 nights to be home by Christmas Eve. We're used to warm/hot and swimming. I don't know about an average of 72 degrees for a high. Any thoughts?