Delco Autoradio von 1964 - Einschalt-Poti tauschen / reparieren?

Hallöle,

ich habe eine altes Autoradio der Marke Delco von 1964. Im 
Lautstärke-Poti sind 2 Schalter integriert, wobei der zum Einschalten 
des Radios defekt scheint und der für die Beleuchtung des Radios es noch 
tut.

Was mir einfällt:

1. Poti aufprokeln
2. Passendes Ersatzpoti finden
3. Den Beleuchtung-schalter für beides mißbrauchen
4. Mit dem noch funktionierenden Schalter ein Relais ansteuern

Ersterers  und zweiteres erscheint mir wenig aussichtsreich. Option 3 
dürfte wohl kaum den Schalter überlasten, wobei es ja wohl irgendeinen 
Grund hatte, warum das nicht direkt so gemacht wurde. Vielleicht 
flackert die Beleuchtung danach etwas?

Ein modernes Relais in dem uralten Radio ist ja auch nicht so ganz 
stylisch.

Was soll ich tun?

Thx
eaf