$372.15 later, my leaking water pipe is fixed.

new pipe
It is 38 years old & was paper-thin at the failure point.

filled hole

He did say he was a plumber, not a bricklayer. I'll fix the rest in a couple of weeks when the mortar (which he ran out of) has set.