A few years ago, I accidentally punched a few holes in my liner which my pool store patched with extra liner material and glue. It worked well but over time the patches started to lift at the edges. The liner was ten years old. Even with the patched holes, I thought the rate of water loss...