How Deep Are Gas Pipes