9.5mm/0.37". 9.5mm push buttons are designed to reset objects without bumping holes into the material; and white rubber parts of the pliers hold button, and back for centering and crimping. Prong size: 3mm.
eBay