How Deep Are Residential Gas Lines Buried