das sind noch die ersten von 1993, wie Du aus dem Stempel im Deckel leicht ersehen kannst.
Die wuerde ich beide mal tauschen.
Bis die neuen da sind, mit feinem Schmirgelpapier saeubern. Und auch mal durchmessen mit Ohmmeter, wenn Du einen haben solltest.
Neue Verteiler und Rotoren gibt es in jedem guten Zubehoerladen. Oder halt online wie hier
7er (E32) - Car-Parts24
als Beispiel. Nimm Bosch oder Bremi, nicht die billigen ohne Nummern an den Steckverbindern, die billigen bekommen leicht Haarrisse.
Vorsicht bei dem mittleren Kohlestift, der faellt leicht raus oder bricht ab.