JUST BE AWARE:
These switches are over 50 years old. There is a plastic disc in between the contacts that is very brittle, and with the first use usually crumbles and renders the switch inoperable. The simple fix is to take it apart and install an appropriately sized rubber O-ring in place. I know a diehard Arctic Cat guy that has had the plastic discs machined for some correct restorations. Either way, they are not plug n play.
All that said, I have a bunch of those same NOS switches if anyone needs them. They came from the exact same place as the ebay seller.