I do not. I remember it was an old main that I believe was made of metal. It was replaced entirely with a main of much smaller diameter made of an entirely different, modern material (I can't recall what, exactly). We were told the new main would perform as well as the old one, despite being smaller, and that seems to be the case as we noticed no difference in water pressure after it was installed.

A few years back the area my parents live experienced a drought with no rain for 6 weeks or so. Almost all their grass died, but they noticed some mysteriously green areas in their yard and a small amount of water pooling and they thought their septic tank was leaking.

It turns out the water main that basically ran underneath their property and served the whole neighborhood was leaking. I don’t remember the exact figure, but it was leaking a staggering amount of water - something like 5 or 10 gallons per minute, every minute, all day, every day. Thankfully they live at the top of a large hill, so the water was pulled away from the house and property by gravity and had plenty of ground to seep into.

But without that drought this may have continued for years and years before it was noticed.