Hi, thanks to all those who offered help with my linux woes. After a very long and confusing evening, I've managed to install the proper nVidia drivers - and it's incredibly fast! So I think that was worth doing anyway. Thanks for the hint Dedas, and thanks again to everyone else!