I have a few questions about the ins and outs of vinyl liners. Our pool is about 12 years old, and it has the original vinyl liner. We've owned the pool for 2 years. The liner is very faded below the water line, but functionally it seems fine. We just found the first hole. It's a 1/2 inch slit...