They replaced the plug and their current working theory is that that was it.
They said if they do have to rerun the line it won’t be as destructive as I thought. They’ll just run it through the yard (won’t have to dig through concrete) and into the house around the patio.
Hopefully the plug was the solution, though I’m pissed I didn’t do it. Oh well.