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...