Thanks for your answer! Yes, we have a pool heater, and it works great, but the pool is so big (it was here when we bought the house) that it takes a long time and lots of money to heat. We have a good set up to add solar eventually but couldn't do that this year, for various reasons--that's...