Repair a gas supply pipe that was leaking in the basement ceiling. Use high pressure press couplings to minimize system disruption.