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 the season ergo the problem. I've tried the standard pool repair stuff available at the big box stores with little to no success. Doing some research I have found cement called HH-66 that seems to work for a lot of folks. Anyone here have any experience with the stuff? And does my plan for a fall repair/replacement seem a good idea or should I wait until the spring. This forum has been a pool life savior on multiple occasions and I value any an all advice received. Thanks