We have just discovered that the water main pipe in our new house is lead. Does anybody know how much this is likely to cost to get removed and replaced?