Get the ripjaws. Those two kits aren't anything alike. One set is budget ram without heat spreaders, the other set is performance ram. The budget ram runs at 1333Mhz where-as the ripjaws kit runs at 1600Mhz by default.
Only thing you may want to look at is the heat-spreaders are kinda tall. This shouldn't be a problem uless you have a rather large aftermarket heatsink for your CPU.