Impossible, I get near 13k with a single 8800GTX on 3DMark06. It's obvious they used some bad drivers.