I first found this switch from Mac's Torch.
The Judco switch is one of the only small push button switches that is rated at 10A 14V-DC, and has been pushed beyond that without failing. It has a nice, low 11 mOhm resistance reading on my milliohm testing setup.
It comes in a short or long stem, and screw on retaining plastic ring, red/black rubber cone shaped push boot screws on stem as extra item, and specific to stem length (PDF List). Uses 18AWG black wire.
Edit: I believe that PDF is gone, but looking up the old switch, I'm pretty sure this is the one we use. I have a bag of them if someone needs the exact part number confirmed.
It is click on, click off...so not the momentary Maglite switch feature, but that has a downside of easier electrical arc damage at higher voltage/current setups.
I decided to take it apart and take some closeups. Note there are short and longer push button stem versions that are both shown. Buy the short version.