Has anyone used a Thermalright HR-05-SLI IFX Chipset Cooler on this board? After thinking about my options I think I will buy another chipset cooler rather than cutting the stock one, those things are $50 bucks lol.