Went into the BIOS, and it basically allows me to enable DOCP, then offers a number of options like DOCP I, DOCP II and DOCP Tweaked. They're all preset to 6000 mhz, but you can scroll down in the AI Overclocker to pick 5600mhz. I'm just wondering though will that then run with the 6000mhz...