What mouse to get for gaming ?

[deus3x]

Been looking at

Logitech G9x Laser Mouse
http://www.overclockers.co.uk/showproduct.php?prodid=KB-156-LG&groupid=702&catid=23&subcat=

Is it much better than the Logitech MX Revolution?
http://www.overclockers.co.uk/showproduct.php?prodid=KB-082-LG&groupid=702&catid=23&subcat=

Thanks