Almost any momentary, normally open, push button switch will work. Find one that is the easiest to mount to your situation. It's not necessary to have a "GM" switch. Some modifications may be required. They are easily adjustable. Should be rated at about 5 amps. AC or DC switch OK. if AC, use 50V rated or higher. If DC, 12V or higher.
