Valuing a resistor to drive an LED just requires some simple math and 3 bits of information. First the Formula:
R =(Vs -Vf) / (current in milliamps)*1000
Where:
R = resistance in ohms
Vs = supply voltage (in a car, use 13 volts)
Vf = Forward voltage of the resistor. This information should be on the data sheet that comes with the LED
current = the rated draw in milliamps, again, from the data sheet
EXAMPLE: You have an LED that says the Vf is 1.5V and the draw is 20ma, what resistor is required to drive it when supply voltage is 13V?
R = (13 - 1.5) / 20 * 1000
R = 575 ohms
Now deciding on which one to use may require some experimentation. It depends on how much light you need. The high output LEDs that are used in flashlights and brake lights might be too much for your little switch. These high output ones are typically rated at 1000 to 5000 MCD (look at the data sheet) The lower output ones are less than 1000 MCD. Then there is also the question of color. The choices are bewildering.
I would suggest starting with a white one at 1000 MCD and see how that works. If it is too bright, you can always add a higher value resistor. If it too dim get a higher MCD value, don't go too low on the resistor or the life of the LED will be short.
Here is where I like to get mine:
Jameco High Output LEDs