My Geil Veloce DDR3w 1866mhz memory is supposed to be stock 9-11-9-28 timings, but is being detected as 9-11-11-28 on auto in my bios currently. Is there any real-world benefit to manually setting the timings to 9-11-9-28 in terms of performance? Is it worth it?