So i have a MSI B85-G41 PC Mate motherboard and an Intel Core i3-4170 which has a LGA1150 socket,and im currently using a stock cooler that comes with it and it is very load on some load.I wanted to buy a Cooler Master Hyper TX3i cooler.Now it says that it is compatible with my CPU,but i just wanted to be sure by asking you guys.Also wanted to know is it significantly quieter than the stock cooler and is it overall a good solution.Oh and the cooler comes with some thermal paste right?