We'll be staying in the days around and including Halloween. I'm reading the normal high is mid 70's. . . Does that equate to pool weather? I know at home I'd think that was on the cool side for swimming but maybe with the Florida humidity? Do people normally swim this time of year?