Wenn der Kühler im Bereich des Lecks aus Messing oder Kupfer (was ich eher nicht glaube) ist, kannst Du auch selber löten. Funktioniert mit handelsüblichem Elektronik-Lötzinn. Du brauchst nur einen Hammerlötkolben (gibt's eventuell günstig bei iBäh), wie er auch von Glasern benutzt wird, wenn die Buntglas in Blei fassen. Wichtig: erst den Wasserpegel ein paar cm unter das Leck senken, sonst wird das nichts. Dann die Stelle blank machen, denn Lötzinn haftet nicht auf einer Oxidschicht.
Michael
Das Nebensächliche tangiert mich nur peripher.