Does anybody know if the 2 coolant hardpipes that feed the Garrett Water-to-Air cooler are still available anywhere? Mine are smashed up and one has a pin hole in it.