UPDATE:

Statyczna wymiana oleju + wymiana misy/oringów w przewodach od chłodnicy oraz oringu na korku do wlewania oleju. Skrzynia pracuje bardzo dobrze, bez zacięcia, wszystko ładnie reaguje. Na razie brak jakichkolwiek przecieków. Koszt całej operacji to około 530eu (olej z serwisu, misa + robocizna) zamiast 3200eu które krzyknął mi "specjalysta".