The smallest Red/Green bipolar LED I have been able to find is a 3mm size from Radio Shack (#276-012). Does anyone know of a smaller one, and where to obtain same? Thanks,