It turns out that industrial push buttons have standardized components ... with components mixed and matched to provide different switch actions, light indicators, and things of that nature.
[Pete Mills] was browsing around online when he came across an arcade button light switch and immediately wanted one. He didn’t however want to pay the $35 asking price for the switch ...