Since one of my LEDs died, I took the time to take it apart and it appears that a 3mm LED is what they used. I have a couple of ones on the way to me. I will update after the parts arrive.
Are those standard shape ("bell-shaped") 3mm LEDs?
Are they soldered or just inserted in a socket of some kind?