 It does have to be closed down. The process is washing the main drain, then using a vacuum to suck everything up, change all the sand, the filters, refill the pool balance, back up a little bit, and open it up. It costs about $20,000 to $30,000. That's not good. No, no, no. That's why our community pool said, hey, if people keep doing this, we're just going to close the pool down, period. So, yeah.