Can someone tell me the make and model of the pushbutton in the ardumower chassis?

[RonPeeters]

I bought a used ardumower chassis and the push button is missing.
Can someone tell me what this button is? I am unable to find it at the ardumower shop.