Looking for a small PCB-mount microswitch with a long stem

[Phaseseeker]

I'm trying to fix an old laserdisc player from Pioneer, and the microswitches that are used modeswitch don't work properly (tried flooding the inside with contact cleaner, no luck); the exact parts (Pioneer DSG1015) are basically unobtanium in Europe (unless one wants to spend 50€ on a switch...), so I'm trying to figure out if I can replace them with a modern part. The problem is that the original switches are
a) very small
b) they have a fairly long "stem", with a pretty long travel and a very weak spring, so I can't just put a tact switch there.
See the attached picture. Any ideas on where to look for a part I can adapt?

[tooki]

You’re not finding them because these are not called microswitches. Panasonic calls them “detector switches”, Omron “detection switches”. Look at https://www.digikey.com/short/hv315jf2