Pump is pretty good.
![](http://gamesdbase.com/Media/SYSTEM/Arcade/CP/big/Dig_Dug_-_1982_-_Namco.jpg)
That picture shows the best buttons on a classic arcade game in history, but it is not the one you pointed out.
Atari's blinking red cone start buttons (also, the bases in Missile Command)... they hold a special place in my heart!!