Here's the link to the thread on the ASUS Rampage Formula forum for my 8 X 465MHz, DDR 1199 and tRD 6 BIOS configuration. It's the last post of the page.

You can find the configuration for my 8 X 465MHz, DDR 1117MHz and tRD 7 on the first post/page of that link.

All I need now is a BIOS that fixes the issue with DDR speeds above 1200MHz. The 3:4 memory divider seems to be broken and pushing the memory above 1200MHz makes the board randomly fail in Prime95 although the memory is MemTest86+ V2.11 stable.

So, where is BIOS 09XX?