Good value for a need I have changed simple push buttons, just by removing the 4 and cutting small plastic pins. Removal is done by unscrewing the tip with soldering lugs.
Be careful not to overheat the terminals by welding quickly otherwise the plastic base (it happened to me on one).