I have the impression that this driver release (nvidia 7664) fixed the need of the setting stereo_double_pump_mono.
This might effectively double the performance of Nvidia cards configured to support quad-buffered stereo. Can anyone confirm this? Zac