There's several ways you could do this, so I won't get into that here. My suggestion there would be to just modify that part to bypass the resistor, or even replace it with one more suitable for typical Arduino voltages. Pretty common in industrial control system, automotive applications, etc. That resistor is set up so that the LED can be used with 12V.

You can just barely see it in the product image for the Big Dome Push Button Blue. The black part the LED actually resides in has a resistor snuck into it. The two tabs on that part are the anode and cathode. If you look at the product image the black part on the left just has 2 component leads bent around a piece of plastic, which gets inserted into the black part on the top. The two examples above mention turning an LED on/off, but you can't use this button's LED directly for this. That NO pin you can liken to a typical push button, so : Examples > Digital I/O > Button and : Examples > Digital I/O > Switch and others apply. this pin is connected to the common pin when the button is pressed). this pin is connected to the common pin when the button is not pressed) and the NO (normally open - i.e.

One is the 'common' pin, and the others are the NC (normally closed - i.e. If you look closely at the markings on there, you'll see the function of each of the quick disconnect tabs. The switch part is the white microswitch depicted in this product image: They're basically just a SPDT (Single Pole, Double Throw) switch and an LED.

Big red button company