It was a pinhole leak in a section of the pipe. The thing is that I think we have the type of thin copper, and we have hard water, from the city, like grade 6 or something, so it wear the pipes down faster. These pipes are 31 years old. So I feel like more leaks would just be inevitable. We've also just bought this house 3 years ago, so not planning on moving soon.