I am putting a new water supply line in the older home we just purchased. There was a 3/4" galvanized pipe running from the city main to the water meter in the basement. I am replacing the galvanized pipe with 1" copper tubing. The galvanized pipe had rusted and holes in it where it went through the basement wall. What should I put around the copper pipe to protect it? What is code?