Understood. Sounds like I have a fight on my hands either way. Draining is an option - I did it once before when we renovated the pool in 2017. It sat unfilled for a couple weeks while they sand-blasted, patched, rebuilt tile bed, deck, etc. - so no concern about it popping out (pool was built...