We seem to have a leaking sprinkler pipe. The main pipe, the one that is filled with water under high pressure whether the sprinklers are running or not. Next to it are two other pipes, and an electrical cable that probably should not be accidentally cut when one is up to one’s elbows in muddy water that said cable is fully submerged in. You are looking at the result of nine hours of hard work, starting with determining where the leak was, how bad it is, and what exactly needs to be done to fix it. And that was after digging through quite a large amount of very heavy mud.