If it is less than 13 years old, and not a mobile home, the manufacturerer’s insurance agency will replace it. If it is older than that, any plumber can patch it, but you will be better off in the long run with replacing the system, since it will never get any better.