F316000CL9D-4GBTD and Asus Sabertooth 55i with I7 860

[seabeckal]

Getting a new build for Christmas. Will this setup run 2 sets (8 GB) of the G.Skill at DDR3 2000 speed? Like another poster I don't want to drop $100+ for something that isn't going to run. Everything I have read on this site and at ASUS seems to indicate it will run. Second question is will the height of the Trident RAM interfer with an Arctic Cooling Freezer 7 Rev 2 heatsink/fan unit?

Thanks