Wie baut Ihr den Öldruckgeber gescheit aus und natürlich wieder ein? Laut RLF soll es ein Werkzeug 3200 (Rohrschlüssel) sein. Finde den aber nirgends.