40-bit brute force RC4 speed records?

[Dan McDonald]

Just curious, what's the speed record?  What if I had, oh, say, a 4-way Ultra
Enterprise 450 at my disposal?

Thanks,
Dan