The speed of the desktop switching animation also depends on the refresh rate of the monitor, by the way. Baffling.