2500K memory is set to 1.5V.
I would go with choice 2.
However, DDR3-1600 (12800) memory is not natively supported on your MB. You would have to OC the RAM up to the 1600MHz. Otherwise it will just ran at 1333.
That is the hinderence in this, that the RAM will need to be oc'd up, but just a question, if the Sniper has lower voltage and the same output, would that not be better than 1.5v and needing to be oc'd. The voltages on the Sniper vs that of the RipJaws would be lower after being oc'd.