@ Lotti Karotti : OK, Danke, wichtige Info`s. - Nur blöd, wenn das dichten nicht hält, und dann wegen dem Rohr, dass dann doch gewechselt werden muß, der Arbeitslohn von ca. 100 Euro nochmal entsteht …

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