Pioneer TX 7100 - Bitte um Ersatzteilhilfe.

Hallo miteinander!

Ich habe wieder mal auf dem Flohmarkt Beute gemacht, und zwar in Form eines Pioneer TX 7100 Tuners aus dem Jahr 1972/72 --- wie mir scheint, ein guter Jahrgang.
Der Tuner ist auch sehr schön anzusehen in seinem Holzkleid, funktioniert auch bestens, doch ...
der Einschalthebel ist abgebrochen und der betreffende Knopf fehlt.
Zwei ebensolche sind zwar noch anderswo auf dem TX drauf,
doch hilft mir das nicht wirklich weiter.
Der Knopf ist ein länglicher schmaler Aluzylinder, oben und unten abgeplattet