For the red dominators to run at the advertise speed, you most likely have to go into the BIOS and manually set the voltage, multiplier, timing.
Here is a much better set, 1.5v 1600mhz 9-9-9 <-they
should run at that speed without any tweaking.
NCIX.com - Buy Corsair Vengeance 12GB 3X4GB DDR3-1600 CL9-9-9-24 XMP Triple Channel Core i7 Memory - Corsair - CMZ12GX3M3A1600C9 - in Canada