Thanks for the reply. I like the idea of replacing the liner now but that raises a question: don't we have to completely drain the pool anyway, then? And if so, and this is a total newb question, what is the best way to completely drain the pool? Portable sump? Thanks again!