Wenn nun schon das Auslöten der Elektronik aus der Antenne im Raum steht... wäre es dann nicht doch einfacher, einen Kippschalter zu nutzen (z.B. für die hintere Innenleuchte) und das Symbol zu tauschen auf eines vom Antennenschalter? Der Anschluss ist ja denkbar simpel: Steuerleitung vom Radio an einen der Kontakte und die Weiterführung zur Antenne an den anderen.
Gruß, Ludwig