They look like the buttons from an arcade game, but obviously arcade buttons don't latch (kinda slows down your rapid firing).
Do you know the dimensions of the press button ? I think the arcade ones are around 22mm.
I found a few that look similar (via cpc or RS) but the button is usually flat rather the dimpled.
Bookmarks