Some kind soul had put some part numbers of some suitable switches, including one that has a roller.
It's not the switch that is faulty but the metal arm has fallen off.
Hopefully this will do the trick:
Pre-wired microswitch V4 w/roller lever,5A (V4NSYR1-UL)
Once I've identified the wires...