Kenn ich, hab ich noch nie gebraucht.
Alle paar Jahre kann man das problemlos manuell machen.
Ein passender Schlauch und ein Marmeladenglas tun den selben Job. Bei neuen Leitungen kommt ne Einweg- (mittlerweile Mehrweg
) Spritze zum Einsatz.
Würd für das Geld lieber volltanken...