Yesterday when opening pool, noticed water coming up from ground. After some digging, found that patio installer drove an edging stake into the pool line. It appears it was such a firm puncture that it didn't present itself for four years, but here we are. Looking for guidance on best way to repair. I'm all about hiring a pro, but it is busy season with openings and not getting replies so far. If I was to repair, do I need to couple with a barb or another thought was to plug it (with what I'm unsure) and cut a flexible coupler lengthwise to secure around it. It appears to be a line back to the pool FWIW.
I'm precariously close to affecting the patio, so not much room to work.


I'm precariously close to affecting the patio, so not much room to work.

