Since our first time in November (and actually later in the month), wondering if anyone can tell us how the swimming will be at that time of year? I understand the pools are all heated, and my DS is all about the pools - he literally could spend the week at the pool and still be happy!