Mit WDR meinst du Wellendichtring?

Wenn ja, welchen sollte man ersetzen? Beim letzten Zahnriemenwechsel wurden die 2 blauen für die Nockenwellen und 2 grüne für den Zündverteiler ersetzt.