Just noticed holes this year in my Loop-Loc pool cover. Have no idea where they came from, I am not sure if they were there when the cover was installed last October or not. But they are there now. My local pool cover guy says ants caused the small holes when in storage. What is the best way to repair/patch? Can someone recommend where to buy the best patching kit of materials and procedures...Thanks