I see in the BIOS that I can up the DRAM frequency to 3200 from the default/auto setting of 2133. Do I need to modify any of the other DRAM settings to insure proper operation? The specs say tested at 1.35 volts, does that imply using that setting? What about timings. The CPU (Intel i711700K) is not overclocked.