Erm. I've got 12k 3DMark06 in Vista with my Quad Core at 3.2 and my 8800GTX, which I didn't even overclock to the max... no way they would only have a bit more than 6k on th 8800GTX. I say those "benchmarks" are crap.
Edit: Oh, I've seen it's a different setting than the standard. I'll have to check that on my machine hehehe