Sorry I don't. The switch I bought from either mouser, or digikey
it's an industrial rocker switch. It was close, but slightly smaller, so I made
an adapter plate for it, which I riveted to the console top using the
existing switch hole.

I'll look through my box of junk next time at the airport and see if I can
find the box with a part number.

Somebody mentioned using relays, which would be a better choice. Then
you could use a REALLY light touch switch to control it.