Not sure, I don't remember it lagging that much (especially the long pauses). Possibly need an older driver that was more optimized for the hl2 engine. I would try the Driver search tool on laptopvideo2go.com -> Drivers. Then enter the 7900GTX Device ID into: PCI\VEN_10DE&DEV_ and &SUBSYS_. I don't know what the ID is as I am not near my 7700, but you can find it by going to Device Manager -> Display Adapters. From that window, go to Details -> Hardware IDs (pull down menu). I forget the progression of the drivers, but try different drivers above 100. (~ 120 / 130 ?)
It's always much easier to test the drivers as they come out and see if you want to keep or revert. There are so many, its hard to go backwards. ;-)
Good Luck