Yes, but I don't think he built any of the gear.
I thought we would have running water tonight but no. The plumber spent a lot of the day digging in the area where the leak is, cut open one pipe but that turned out to be the sprinkler pipe not the main pipe. So we still have a leak. Sigh. We can turn on the water to the house for a short time to fill up toilets and/or take a shower but it is somewhat inconvenient. Oh well, it's not the end of the world. Certainly much better than what Grahame is going through.