Will my gas meter still work if the plumber replaces the pipe?