Thanks for your additional input, Jeff. It's good to know that although I don't find it a problem for myself at the moment. On the other hand, as a non-gamer, I am unlikely to appreciate any possible benefits of the new Nvidia driver. Perhaps good old 'if it ain't broken, don't fix it' applies…
Jirka