Did some damage today. Before ordering a factory replacement, is there any aftermarket pipes available for the boost? None that I recall.