Ich würde jetzt aber auch nicht unbedingt dem Öldruckschalter trauen und spasseshalber tauschen. Geht schnell und kost nicht viel.