That is a much happier ending than the recent spate of natural gas explosions back east. I think of Zdiver responding to similar emergency calls every time one of these makes the news. Stay safe 'tll retirement!
I drove through an intersection once just after a backhoe broke a distribution main. Gas pressure was tossing dirt many feet into the air. I wondered how one begins to address this problem with a pipe too big to pinch off. Remote valve somewhere?