We still dont know if the shaders have their own clock domain. If that's true your calculations are wrong. Also, 3870 is bottlenecked by its 16TMUs, you don't know how 32TMUs can change things. My bet is 14k minimum. And a 3870 scoring 10k? With what CPU?