sort of the same thing, I just machined a whole new terminal bolt down for the panel.
any good parts ware hous will have what you need, some prettier then others. if you solder the end of the cable and then widdle down the tip to fit the full bore of the switch that will be acceptable as well, just not as pretty as a machined adapter.