I'm now thinking of buying these RipjawsX 8gb to solve the latency and timing problem: http://www.gskill.com/en/product/f3-1600c9d-16gxm#tabs-spec
It seems to have the same specs, apart from the frequency which seems to be overclocked and not stock at 1600...
Or would I be better with ANOTHER...