Yeah. I think no point digging up to find and do localised repair of the leaking point as the whole piping network probably cannot be used anymore. Repair this and a new leak might appear soon.