After four years with my pool, I have multiple pin holes in multiple areas. Plan is to remove the liner in the fall, remove, clean and treat everything that's accessible and have a new liner installed. That being said I need to repair the pinholes since I need to enjoy my pool for the rest of...