Hello John,do you checked the Honeywell AML21 series already? Digikey: 480-2224-NDThere also little barriers 480-2262-ND, so the switch looks like the original one.You need also the key cap (red) 480-2255-NDBut be aware, they are very expensive.
Frank