Yep, these are Arcade Video Game Buttons. Nice too, LED back light with SPDT micro switch. Got em off of ebay from user hklwh123 but there are many others that sell the same ones, some rectangle and some round.
I bought just a couple to to make sure the quality was good and to measure them, then went back and bought the rest with a couple of spares.
JH