Bardzo dziękuję za informację. Będę to jeszcze raz sprawdzać w połowie maja, wtedy również dam znać czy wszystko działa jak należy.

BTW, na AliExpress znalazłem taki zestaw naprawczy uszczelek do Bmw E32/E31 numer OEM: 32131134768. Pytanie czy ktoś z Was miał z tym styczność? Zamawiał to? Cena na poziomie 19$, więc jakoś nie zabija.