The answer(s) to this question could depend a lot on your switch.
If it's a 12V DC light, you could get that from the raw filament DC supply.
If it's any other voltage than 12, let us know and we can provide better direction.
Also, if the switch does end up fitting the cutout, do post the part number, as substitutes are a bit uncommon.
-PB