Replace copper pipes?

It’s a good idea to consider replacing the copper pipes, especially since the pipes are 20 years old and have already caused significant damage. Over time, copper pipes can corrode or develop pinhole leaks, particularly if the water has high acidity. Replacing the pipes now could prevent future leaks and save on potential repair costs. While it may involve extra expense and inconvenience, it could be a long-term solution to avoid similar problems later. Consulting a private plumber to assess the condition of the rest of the piping would be a prudent next step.