MIL LED what spec?

[wseed]

Wild fitting my new dash I've managed to break off the LED for the MIL warning light that sits to the right of the tacho. Can someone tell me what spec I need to order. I'm pee'd off with myself as I'd fitted the whole lot back without incident and then damaged it while tidying the cables. I'm also hoping that my application of fresh epoxy isn't so great that I can't remove the old one from the housing.

This is the one I mean, pic pinched from another thread.