Repairing leaking pipes is a real headache. The whole thing of scanning around, finding the rusty pipe with a water jet, as happened to you, is definitely horrible. The good thing is that the repair was made and there was no major damage.