About 5 years ago we had the plastic grey pipes in our manufactured home replaced with copper pipes. The pipe to the house is plastic. It stayed. I ran across something the other day that said the copper pipes need to be grounded. I'm pretty sure this is not something that was done. Is this something that is necessary and can someone explain why? Thanks for your help.