I would go with Gskills... I have these and they work well out of the box on DS3. Note that this will work at 1.8 volts but at a relax timing of 5 5 5 15. So you shouldn't have problem. Up the voltage to 2.0 and you will soon be running at 4 4 4 12 at 800 MHz!