Thanks for all the input. My liner is only 9 years old so I think I have a while before I can do any repair. I assume there are underwater patches if I do detect any tiny spots that have poked through. For now I will take a wait-and-see attitude.