I need some blue LEDs for my new case, but these are small ones, not the
normal size ones that you can get at radio shack.  

Here's a picture of the one I will be replacing:
http://209.240.67.45/pix/index.php?mode=view&album=misc&pic=small_led.jpg&di
spsize=800&start=0

Anyone know where I can find this in blue?  Preferably with the same type of
leads on it so it will plug in just like the current ones (yes, they plug
in, not soldered!).

I checked Jameco and Digikey, but they don't have pictures, and the closest
I could find measured 3mm diameter, which I think is a little big, but i'm
not sure.

Jay