personally woudl expect higher than that.
I got 10k (plus some change) with a E6400 (unclocked) and a 8800GT.
seen plenty of people getting 16k plus on un OCed quads and the 8000 GT
so OCed to 3ghz and 2 8800s I personaly would have though at least 30k
but that is pure (informed) conjecture