Es heisst zwar immer es muss nichts (mehr) gespült werden aber ich würde das System trotzdem mal befüllen, ein wenig laufen lassen und dann das Wasser tauschen.

Schaden kann es in jedem Fall nicht und ist ja auch relativ fix gemacht.

Sollte im Radiator (unwahrscheinlicher Weise) doch noch Schmadder drin gewesen sein ist er danach aber evtl. im Düsenkühler. Der müsste dann auseinander genommen und gereinigt werden. Daher halte ich es für sinnvoller die Komponenten (eigentlich nur den Radi oder gelötete Kühler) lieber einzeln mit Leitungswasser durchzuspülen. Die paar Milliliter davon die danach noch in den Komponenten stecken tun der Wakü nicht weh.

mfg Spock