Kann man die Teile reparieren - die funktionieren ja durch Induktion, vielleicht irgendwelche Bürsten oder Magnete erneuern ? - oder muss da ein neuer elektronischer rein ?

EDM 830 wäre meine Empfehlung. Mechanische Drehzahlmesser sind nicht zuverlässig.

EDM 830 ginge, klar, aber solange ich den Drehzahlmesser als Primärinstrument nutzen muss, wäre mir lieber, den aktuellen mechanischen durch einen elektronischen single purpose tachometer zu ersetzen. Einfach ein Rundinstrument, meinetwegen mit Digitalanzeige, welches man in das Loch reinsteckt und dann mit den Magneten verdrahtet ?

Und dafür bist Du dann bereit, 40% der Kosten eines EDM 830 zu bezahlen? Man sollte m.E. das Geld auf die richtige Aktie setzen. Für die alten EDM 700 ist das 830 übrigens ein Update ohne Papieraufwand.

aber solange ich den Drehzahlmesser als Primärinstrument nutzen muss,

Nutzen mußt du den gar nicht, aber da muss er sein.