Tell us about that locating process. I assume you watched with great interest.
Went with Rooter-Man Austin over a dedicated leak-detection company because Rooter-Man reviews said they could detect and fix in one go. Technician arrived around 09:30. After examining the fittings in the house, and determining no leak there, he began investigating places outside where a leak might exist. He suspected it was a cracked fitting where the main line connects to the house line, and he was right. But he had to work for it! The line was not where he expected (on the side of the house) but rather right in front, with the connector cracked about a foot before a manifold to take around the side of the house. The leak was small, and the pipe was buried 2 feet down, not the normal 12 to 18 inches. He used a probe with earphones to isolate the running water (or more accurately to find the line). Without the probe, it would have been impossible to spot the leak since it was so deep there was no wet spot in the yard. Probably been slowly leaking for up to a year - I started noticing higher bills around this time last year but chalked up to COVID causing us to spend more time at home.
Once the leak was discovered, the tech got to work fixing it, which took a while because he had to be extra careful of the gas line buried in the same trench as the water line (grrr). Then the fitting was almost impossible to get off, requiring some clever use of a propane blowtorch. Finally it was fixed with a "Chicago loop" style fitting to allow for some flex. He tested everything before filling the hole and we flushed the lines. After turning off the water valves, we checked again - no leaks. The leak indicator is not spinning at all.
Job finished at 12:30. Cost was not cheap but in line with Austin prices. I had no expectations except I knew it would be pricey, and it was. Should pay off in 12-18 months with reduced water bills.