These are high quality non-brand pushbuttons that can come with a variety of microswitches. Smooth action, polished smooth tops, these buttons will make that control panel look new again.  Low on price, not on quality.