Jane got the leak fixed. Works like a charm.

She has now tackled hard-piping the front water feature. The hose gave way and created a mess. We think there were two problems, a rock that had fallen against the float-cutoff mechanism, and a split in the hose. So every time you turned on the hose the float would...