Ladeluftkühler

Hallo,

Ich brauche mal einen Rat von euch.
Ich habe am Wochenede meinen Jet "Seadoo Rxp x 255 Bj 2008 130 Bst." zur Inspektion gebracht.
Heute kam der Anruf von der Werlstatt, dass mein Ladeluftkühler defekt sei. Reparaturkosten liegen bei 1200 Euro.
Mich wundert es nur, dass ich keinen Leistungsverlust gespürt habe.
Naja, der Werkstattmeister sagte mir, dass der Ladeluftkühler oft bei den 255ern kaputt geht.

Habt ihr davon schon einmal etwas gehört oder eigene Erfahrungen gemacht?
Muss der Ladeluftkühler zwangsläufig getauscht werden?

Hoffe mir kann jemand helfen

Sven