Yes, but they are the December 2007 drivers from Nvidia's site. I just reinstalled them the other day. Pretty sure they're the most recent, and correct.
Frequently I prefer modded/optimized drivers, though... I bet, if I put some of those in, things would run more smoothly. Switching between them at times, though, likely has bugged something in the OS, or, something.