burning gas never builds up to explosive concentrations, so it is what they do. I've heard other stories. A friend of mine cut a gas main digging, and when he called emergency they told him he should have lit a match instantly, it is too late now just evacuate the neighborhood. (the gas company was mad until he pointed out the gas main markings a safe distance away from where he was digging)