Hatte ich auch schon öfter (wobei, in den letzten 2 Jahren nie mehr...)
Um den Phasensensor zu wechseln ist die gleiche Arbeit notwendig wie bei einem
Zahnriemenwechsel. Nockenwelle muss nicht ausgebaut werden, es sei denn der
Phasensteller soll auch gewechselt werden.
1000 Euro sind obere Grenze, auch wenn die WP und der PS mitgemacht werden.
Der Phasensensor liegt um 130 Euro, der Phasensteller um 170 Euro.
Wenn Du keine Startprobleme hast, warte bis zum nächsten Zahnriemenwechselintervall...