yeah thats about right I would say, My old gtx 580 used to score in the 6500-7000 zone along with an i5 760 4ghz.
I'd say you still have headroom for overclocking your hd7850 in the 1200mhz with a little bit of voltage tweaking.
Yeah I have yet to mess with anything on my i5 2500k.
You sure it would be okay to boots the voltage up a bit from 1210? (1210 is the default voltage out of the box for my card and it will barely let me increase it more on the tweak software.) Other people have a default voltage of 1100 or so on their 7850 like this guy http://www.youtube.com/watch?v=FmEkwV7ec0s
Also with the GPU core clock I didn't keep upping it till the card reverted to default settings I just kept going up and decided to stop at 1100. I think i might be able to get a little bit more core mhz without changing the volts. What do you think?