Zündverteiler 993 wechseln bei 40TKM ??

[FrankHM]

Hallo !
Mein 993 C 2 BJ 94 hat aktuell 40 TKM gelaufen. Aufgrund der geringen Laufleistung habe ich bereits 2007 bei 37 TKM die große Inspektion durchführen lassen. Damals wurde auch der Zündverteiler geprüft. Aufgrund des Alters habe ich nun langsam meine Bedenken mit dem Zündverteiler.
Wäre es ratsam den Zündverteiler vorsorglich zu wechseln ? Bei Cartronic soll der Verteiler im Austausch rd. 300,-- Euro kosten. Den Austausch kann doch sicherlich auch ein Bosch - Dienst vornehmen ?