well, I did talk to a recommended leak detection outfit in town, and they can't do too much it turns out.
Basically, to find a leak, what they will do is pressurize the line with air and attempt to listen to noises the air makes when leaking. I had actually already done that, and interestingly, that actually allowed me to identify which pipes were water. Could not hear the leak itself but could hear noises in the pipes. (Amazingly, I also tried to spray soapy water on the dirt and I think it did show some bubbling on the leak side, but not a clear thing.)
They can also insert a camera/transponder in the line and find out where the (first) connection is, which is not necessarily where the leak is unfortunately.
I was hoping they could trace a bare (no marker wire) water pipe underground but apparently the only way they can do that is thumping the pipe with water hammer and then listen for the noise it makes (the tech guy said he did not recommend that for fragile systems). I suppose that ground penetrating radar is a possibility but they did not do that.
And their accuracy is typically something like 2 or 3' it seems so not much better than what I can do by digging.
So, no miracle solution yet.