Hello,
Thanks for the link.
I don't have any problems finding places where to get LEDs. There is also digikey and mouser, and many other places.
I'm hoping to more precisely find out what specific manufacturer/part number these are so I can get a correct replacement. If I get one that's not matched to the circuit, I'm afraid it might not be bright enough, or it might get damaged.