Du hast die Rechnung und auf die gemachte Arbeit gibt es eine Garantie. Wenn die Werkstatt etwas falsch gemacht haben sollte und es wird wieder undicht, dann gibt es kostenlose Nachbesserung mit eventuell einem Aufpreis für das doch noch gebrauchte Rohr.
Aber ich denke, es wird dicht sein....wie gesagt: Ehrliche Werkstatt

Achso, Super ! Wielange gilt das ?

Mindestens 6 Monate.

Zu der Menge der Kühlflüssigkeit: Was denkst du denn, wieviel du davon schon vor der Reparatur verloren hast? Wenn die Wasserpumpe fördert bei Motorlauf, geht ganz schnell mal viel weg bei Undichtigkeiten.