Hi everyone, we have a Vinyl liner that has separated from the wall in various places above the water line. The pool guy says it's not repairable and mentioned it could be $7k - $10k to replace the liner down the road. He mentioned we could get 1 -2 years more out of it (the liner is probably...