Which DDR3 RAM for i7

[Higadeb]

Right, for a few days now my PC has been without any RAM. I have now been gifted ~£200 to spend on RAM (and RAM alone).

My build is as below:
i7 920 @ 4.2
Gigabyte EX-58-UD5
64GB SSD
2x500GB WD CB (in RAID)

Given that my processor is overclocked (and I would like to keep it this way) what RAM would you recommend for about £200. I was looking at The G.Skill Trident 2000MHz (http://www.overclockers.co.uk/showproduct.php?prodid=MY-039-GS&groupid=701&catid=8&subcat=1392)
Is this descent RAM or should I be putting my money towards a Corsair 1600MHz kit?

 

[Higadeb]

Haha, no I don't need to spend all the £200. But it's supposed to be a gift and I don't think they'd take to kindly to me speding 40% of it on beer.
The money I don't spend I'm not ever going to see so I might aswell spend as much of it as I can!

 

[Higadeb]

Hmm, ok. I might do that. Although I would prefer the RAM sooner rather than later so I guess it depends on how long it takes for things to get back in stock.