The pool is about 6 years old. The liner is in pretty good shape but my son noticed about an inch sized slice in the liner about halfway down the ramp tot he deep end. So do they make patch kits you can use under the water? I don't want to drain the pool to fix this in the middle of the summer. I have never patched my liner before so I don't know where to go from here other than I see lots of vinyl liner patch kits on Amazon. Thanks in advance for your suggestions.