David,
I just want to be sure...my email says 470R for the resistor.  I am assuming this is 470 Ohms, I guess like a 1/4 Watt resistor (dang, I have not even said that phrase in 40 years!  I guess what you mean is super small size wise).  And like you said, a little extra if too bright.
Rich
San Diego

    On Thursday, April 2, 2020, 9:07:19 PM PDT, David Beierl <dbeierl@gmail.com> wrote:  
 
 On Thu, Apr 2, 2020 at 9:24 PM Richard Koerner <rjkinpb@sbcglobal.net>
wrote:

> BTW David, for sort of a standard small amber LED, what is the appropriate
> resistor?
>

470R ought to be safe.  All the panel LEDs use 470R.  Beyond that, increase
resistance to make it dimmer.

>  Even better...I'm sure there are multiple sources for the proper sized
> LED, the proper color, the proper voltage, and includes the proper resistor
> to make it all work.
>

I know 5V ones exist because I've bought some.  Not widely available
though.  Ah!  This outfit has 3mm diffused yellow 12V ones at $1.40 for
five.  Comes to $5.35 with shipping.
http://www.led-switch.com/12%20volt%20LED.htm

REmember though you may need additional resistance to tone it down.

Yrs,
d