Based on measurements, I ultimately purchased an Omron D2F-01L switch, and it fits perfectly. Here is such a unit on Digikey: https://www.digikey.com/en/products/detail/omron-electronics-inc-emc-div/D2F-01L/83264.
Based on measurements, I ultimately purchased an Omron D2F-01L switch, and it fits perfectly. Here is such a unit on Digikey: https://www.digikey.com/en/products/detail/omron-electronics-inc-emc-div/D2F-01L/83264.