How do the crowds and weather compare the first few weeks of May vs. the first few weeks of November? I'm thinking May might be a little warmer but that would make the pools feel a little better. My guess is November is a little cooler and less humid. Probably more important are the crowds. Is one time less crowded than the other?