Well it happened....I discovered a small (1/2" diameter) hole in my liner. It is located just barely above water level (about 6" below top of pool) When kids are in pool the water does go over the hole. Do I need to be concerned? How would I fix this? Any tips/suggestions? Thanks.