text:  So we figured out that we had a hole in that galvanized pipe, and we called a plumber to come out, and he drilled. So they dug the hole out, and then they core drilled it, if that makes sense, and they put in a new pipe. Good. But anyways, it's leaking. Where he made a repair, he said it had to be inspected, but...