How Deep Are Gas Mains