[sdiy] Does anybody know this type of push button switch ???

[Jean-Pierre Desrochers]

See some pictures of the switch:
http://www.arcenson.com/public/Push_button_switches/

These are used for the front panel of this Leader RF Generator:
http://www.dontscrapit.com/Texas-/Commercial-/Leader-lsg-245-sigal-generator.php5

Some of these switches have led embedded.

Any clue of what manufacturer they are from
and where to buy them ?
I need around 60.

Thanks