Was willste denn da reparieren? Das fehlende Stück ankleben? Wird wahrscheinlich nicht lange halten. Die Plastikwanne ersetzen? Wäre theoretisch wohl möglich. Praktisch wird's an der Beschaffung des Ersatzteils scheitern. Und selbst wenn Du eins auftreibst, ist fraglich, ob der Kühler wieder richtig dicht zu bekommen ist. Also wenn er trotz der abgebrochenen Spitze noch sicheren Halt findet, kannste ihn verwenden. Wenn nicht, weg damit.
Michael
Das Nebensächliche tangiert mich nur peripher.