My best guess is something in the Cherry D44Y lever microswitch family.

Here's a datasheet. I'm not sure if there's an actuator on the list that will match or not.

https://www.mouser.com/datasheet/2/71/Cherry%20Electrical_D4%20Series-492956.pdf

Also, if you remove the switch from the bracket, it might have a model number on the side that's hidden.

Forceflow is bang on.

You can replace it with a NORMAL OPEN cherry switch and bend the arm up like that to fit into that out hole. You can also use a 3 prong nc/no switch.

Any cherry from an old oystick should do it.

I've found d this to be an acceptable replacement for many of the Atari switches: https://www.pinballlife.com/switch-5647-12133-08.html

Yes. It's tricky to dial in because you've got to get the paddle bent just right, but they work fine.