I have attached some pictures for reference. I'm not even sure if this is a rock, but it sure looks and feels like one. Should I cut a bigger hole in the liner, take the rock out, and patch, or should I try to patch over the rock? I don't know how long this liner has been like this (I have lived here for less than a year), but there are many places where the liner is caved in, has large wrinkles, or has these jagged rocks protruding on the side of the pool wall. The pictures are hard to make out, but the cut in the liner is about 1/2 inch long and about 3 feet below water level. Thanks for the help.