We get ours (arcade-style, but no LEDs) from a great guy outside of New Orleans named Bob Roberts that I have been buying from for over ten years:
http://homearcade.org/BBBB/parts.html ("Happ microswitch pushbuttons")
The downside is that he doesn't take PayPal. He does stock them in red, white, blue and other colors for $1.25 each plus shipping, which is usually extremely reasonable. We have a total of 11 of them on our control panel connected via the Cypress board. All of the parts are included: the button and panel nut manufactured by Suzo-Happ and the microswitch (E-switch brand, which is close enough to Cherry for my tastes). The hole size for the panel is 1-1/8". I recommend using a spade bit to keep the cost low compared to an auger bit or twist drill. Wish I had a picture handy, but no such luck. We'll be at Buckeye this weekend if anyone wants to have a look at how ours turned out.