Final update: I found a switch that works.
I got a $12.99 generic “Universal 3 Wire Engine Starter Switch for Car, Motorcycle, Tractor, Forklift, Truck, Scooter, Trailer,...l
from the_amazon, and it works great. The switch itself is very light weight and feels cheap, but I like the key better...