So nen Fühler kostet irgendwie so um die 25€ und kann man gut selber wechseln wenn man kein völliger Laie ist

Stecker vom alten Fühler ab, Sicherunsklammer raus, Fühler raus, auf den Dichtring achten, schnell neuen Fühler + neuen Dichtring wieder rein, Sicherungsklammer rein, Stecker drauf --> fertig!
Dann geht das auch ohne Kühlmittel ablassen

Ist jenachdem wie gut man drankommt ne Sache von 10-15 Minuten