Antec Formula 6 and they did make a formula 7. I found the 6 to be almost as good as the 7 at a cheaper price.
Most Thermal pastes work well if just the right amount is used. But I'm sure you know the ropes plenty well. TX2 is great stuff. Probably works better than what I'm using by a deg or so. I'm not that picky. I'll just go adjust my thermostat on the wall