Do you want the same size or do you just want brighter.
If you want the same size, the best 5mm LED is the Jeled on ebay (I can't find it right now)
If you want brighter, go with the flow and buy Cree, Seoul or Edison LEDs, much much brighter then the 5mm ones, over 200 lumen from each LED at 1 Amp. They require heat sinking and the correct driver. I'd recommend the Luxeon Micropuck driver if you are just getting in to high power LEDs.
jayhackett03 has the high-power LED listed from dimmest to brightest, the Luxeon VII is also the K2(right?).
BUT, high-power LEDs are usually over $5 each. Dealextreme(
Cree Star,
Seoul Star,
Seoul Emitter) and Kaidomain have pretty good deals on the new Cree and Seoul LEDs. The Seoul emitter has a positive slug (the portion that touches the heatsink) and requires you to isolate it.