Is Gas Pipe Grounding Legal?