IF they use "pretty standard LEDs" then where's the problem? Buy one & replace it.
On the other hand, if, as I recollect (and I have a notoriously bad memory), they use a rather unusual dual blue/yellow LED - then your biggest problem is going to be locating a replacement.