Hello, I am planning to build a PC at the end of this summer, but this is the first time I'm building one myself, and I don't know much about heatsinks. I am planning to get a 4770k on a Sabertooth z87(If you have any other suggestions, please let me know). I am planning to overclock it to about 4.5 GHz from the original 3.5 GHz. What heatsink is appropriate for this setup, and is it possible to use high-profile RAM with this arrangement? Thanks in advance.