I am pleased to report that the leak has been fixed. The repair crew worked quickly and efficiently and were done by noon. They did a good job on cleanup too. The sidewalk and grass will be replace in ~two weeks. Here is a picture after they left:
We were very fortunate that the leak was not on our side of the meter but one of our pine trees certainly was well watered for a few weeks.