I found the ones Allan is talking about in a early PS1 engine I upgraded. I couldn't find a source for them. They appear to be like common 3mm and 5mm all plastic domed LEDs but are only 2mm in diameter. I have never seen them anywhere else. Maybe MTH tech support could help out here.
Pete