Completely agree with the first choice, i found the same kit a few weeks ago on Newegg, Viper RGB 3600 Mhz that was cheaper than Corsair Vengeance RGB, G.Skill Trident Z RGB & GeIL RGB kits and they were all only 3200 MHz! I'd argue the Viper looks the best of the RGB sets too, didn't know it existed until i came across it on Newegg. Strongly recommend for the price + speed + aesthetic combination.
You don't need a K CPU to overclock ram on an Intel platform. You just need the Z chipset. Yeah kind of confusing when the memory controller is on the CPU. But that's what happens when everything is artificially limited.