How Deep Should Gas Mains Be