Czujnik wymieniłem, szczęśliwie bez niespodzianek. Śruba po obfitym zlaniu WD-40 i oczyszczeniu gniazda na klucz odpuściła. Sam czujnik po odkręceniu nie chciał wyjść z gniazda w żaden sposób więc go rozwierciłem. W dotychczasowym czujniku wtyczkę miałem szarą ale podejrzewam, że był już wcześniej wymieniany. Nowy , TRW , ma niebieską.
Wszystko działa, dzięki za podpowiedzi.