Gas main break

The drought has caused the ground to shift, breaking our neighbor's gas pipe.  Long story short, our gas pipe had to be replaced too.  The crew dug a hole at the edge of the yard, detached the pipe from the meter next to the house, pulled the old pipe through the hole, then fed new pipe along the path left by the old pipe.  They took out our 1947 gas meter; we now have a newfangled 21st century electronic meter.  They came inside to relight the stove and water heater.  I'm impressed that they could do all the repair work without digging a trench across the yard.