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.