Replacement leds

Hi all,

I have one LED that doesn’t work (new old stock Kordbot from the 1st batch).
I have checked it, it seems to miss the top of the LED, so this one is never going to work. But it’s so tiny!
Can anybody point me to the LED type? I want to replace just that one, so I’m looking for the same size, type, color, brightness.