Ich weis auch nicht ob das Öl mit der Getriebeölpumpendefekt im Zusammenhang steht. Jedenfalls wurde das Teil ausgetauscht. Kosten weis ich nicht mehr genau, ich meine um die 1300 - 1400 Euro. Ich glaube da kam noch die Montage dazu. Müsste ich nachschauen, bin aber gerade unterwegs und erst nächste Woche daheim.
Ich persönlich würde das Öl und Filtern wieder wechseln. Hab auch das Differenzialöl wechseln lassen. Hab das alles bei Recing machen lassen.
Ganz nebenbei: Gerade wird die Stirndeckeldichtung erneuert (~1600Euro), Auspuff ist auch an einer Stelle durchgegammelt, kann aber geschweißt werden.