the two best for gaming on that list would be the MX518 and the death adder. both have their pros and cons. i voted death adder but I own an MX518. I suggest you try them both and take your pick as they both have excellent tracking, accuracy and response. The big thing it comes down to I'd say is how you click. I tend to click with my whole finger, as such the MX518 was the better choice for me, those who click with only the tips of their fingers are more apt to do well with the death adder.
imo get the deathadder i have one and it was way better than my old logitech wireless mouse. Though the 2 side buttons are cheaply made and if you press hard enough they can get stuck from what my friend said.
those are no longer in production. the rev2 looks different. rev1 is basically just backstock from my understanding.
Dont forget the Razer Lachesis is coming out soon. Also, i voted for the DeathAdder too. I own one and it hands down beats any other mice i've ever used