Just after closing my pool (in October) I noticed that the water level seemed to fall a couple of inches. I assumed the source of the leak was a spot that had previously been patched (it was patched when we bought the house, and then I re-patched it early last season as I saw the patch had pulled away). I reached down into the very cold water to try and pull the patch off and it ended up tearing the liner, maybe an 8 x 3 inch section, can't recall exactly. I patched this new large tear as best I could but the water was frigid so I am certain it is imperfect. Everything is frozen solid now so no leaking. It wouldn't seem that this would be too big to patch, but wondering if the way the liner tore is suggestive that it is time to simply get a new one? Just guessing, but the liner is likely 7-9 years old.
If it is time for a new liner, is there anything else I should think about doing, or simply pull out the old, and drop in the new? (I've never done anything like this so I would likely pay a pro to do it.)