Not new to pool ownership by a long ways, have designed my last 3 pools, done salt, ozone, sand and paper filters, but just moved into a new home and am faced with a whole nother set of issues:
Largest pool I have ever owned. Size to follow. Built in '75, diving pool, about 9' deep in deep...