IIRC, it's a T1-3/4.

And yes, blue LEDs are available in that size. You will almost certainly have to adjust the current limiting resistor's value downward, however. Just hook it up and see.