Speaking strictly for PERFORMANCE there's not much difference between top-end models.
Many are clocked at different frequencies but once overclocked to their fastest, stable frequencies they're pretty similar.
Thus, I would not pay much PREMIUM PRICE for any of them.
So look up a bunch or reviews, but IMO I'd go with the Gigabyte G1.
I'll just post this and look for some links...