Pipe pin hole leaks. How serious can they be?