Not touched my system in a while, but just got my hands on some Kingston HyperX T1's.

A couple of questions:

1 - Whats the best BIOS around for the EX58-UD5 (currently on f9e)??
2 - Anyone have some example settings for getting this RAM stable at 2000ghz whilst getting my chip to 4.2ghz (with Turbo on so 20 x 200)?

Thanks in advance