hot line off of hot water tank branches off to serve a heat exchanger in a basement in floor heating system. was called originally cause the owner suspected the gasket on the pump was leaking. changed the gasket, pressurized and have found pinholes in the copper piping, after talking to the...