thats surprising. my buddy got 17000 on his 2600k 32bit in windows on a tigerdirect bare bones 4ghz pre overclocked box. so I would think 5ghz would do dramatically better.
Its OS X. It scores dramatically lower in every benchmark. Look at my previous post about cinebench.