The pushbutton has a button height of 4.3 mm and is characterised by its long-life design.
Price: 0.73 from Conrad Electronic