I have just had the boiler replaced. I am told that the gas pipes need to be earthed. The engineer proposes to run an earth wire (10mm) from the mains water pipe (where it enters the house) to the gas meter. He also wants to use an earth block at the electrical distribution box and run earth...