Speaking of EDP switches, I have been looking for the best replacement 
switch, and so far this is what I have found :
>From Mouser Electronics
        part number 10PA005 or 107-DS412W (Mountain Hi-Rel Pushbutton 
Switch)
At
        http://www.mouser.com/catalog/cat_602/296.pdf
Has any one tried these or found one that they liked better?
Regards,
K