anyone has had any experience or knows anything about the intercooler leaking? what are the symptoms? risks? can engine over heat because of this? any info and feedback would be helpful and very much appreciated. its a 255hp engine, and I want to know if my symptoms match before seadoo guys take it next week.