That original switch seems a little high in price, but it is NOS.

If you buy an aftermarket switch, there are 6v and 12v switches.