Has anyone got any idea roughly how long copper pipes survive in concrete before they will corrode.We have been living in a house for five years and have just found out that the previous owner burried copper pipes in concrete in a new bathroom that was installed the year before we moved in .They are...