https://www.ebay.co.uk/itm/1PCS-5PCS-DA7-10-1-Micro-Limit-Switch-2-Pins-for-JB-JIABEN-/224181748294

There's probably stacks more to be found. I'd just do an eBay on Amazon search on the model number.

It looks like a generic microswitch so as long as you can match the shape and dimensions, that should be fine.

Ehehd
January 2022