We are likely going to WDW in Dec. or Jan. I am debating whether to pay for pool heating if we go with a home with a pool. I have heard that the electric heating isn't very good for heating the pools well in cooler weather. Anybody go in a cooler month or any homeowners that can vouch for how well the pools will actually be heated?