digikey.com - their search methods leave a bit to be desired but you can filter by lumen output, forward voltage, name brand, color, etc.
I bought one from Seoul Semiconductor, think it was rated for 800 lumens and it's flat out insane. I can't imagine 3000 or even 8000 - although these are 30V...