What is the antifreeze used for? Just curious - I live in Texas and we don't really close pools for the winter over here.