Thats definatly low. My guess is that you had either AA or AF on in the display properties. Turn those off, including vsync, run the default benchmark and you should be right around the 10k mark.
Remember guys, he has the 9600np which has it's memory and core clocks set at about 3/4 of that of the pro version. IMO you are a little bit low, but not very. I'd suggest around 7-8k is quite good.
Cheers,
Elad.