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
