Correct the hardware shows an additional CPU per hyperthreading enabled CPU. If you are having issues you can usually turn hyperthreading off in the bios of your server until you upgrade your version of win2k and sql to use more than 4 cpus so SQL won't pick a virtual processor over a real one to spawn multiple threads.

Wes