They don't use microswitches at all..... they're all leaf swiches...
Yes you can still buy leaf switches... the standard button leaf switches would do the job, but you might have to modify them a little bit yourself to fit.
Best Regards,
Julian (Fozzy The Bear)