These are from autolumination.com and come in red, amber, white and other colors. Per the website, they are 1W high-flux low-profile emitters, but I haven't seen them anywhere else. The one in the photo below is amber and the light output is quite respectable (for amber). Does anybody know who makes them?
