I have the TPC 812 and no way will the High Profile ram fit. At least not for the 1st 2 slots closest to the cooler; for me the fan was even pretty close to the 3rd slot. Get the Low Profile version of the Corsair and you will be fine. I used 4x4gb of these Gskills (got it on a shell shocker deal for $45 a pair):http://www.newegg.com/Product/Product.aspx?Item=N82E16820231548
There is no benefit to high profile ram, as ram really does not even get hot. They really should just stop making it.