This post talks about how you can use the Junlinto 45mm Push Arcade Button 12V Power LED with an Arduino.