Hi!
Bei mir steht das Tauschen noch an.
Laut Reparaturanleitung sind die Schläuche zu trennen und der Tauchrohrgeber mit zwei Schraubendrehern gegen den Uhrzeigersinn herauszudrehen. Zum Ansetzen der Schraubendreher sind auch Ausschnitte im Blech des Gebers.

Als Dichtung habe ich Folgende gefunden und selber bestellt:

https://www.wallothnesch.com/o-ring-d-58-8x4-2-fuer-alle-modelle-alle-baujahre-wird-1x-...

Grüße