Hmm, not sure I have ever seen a X58 board with 4 x 1 GB sticks, not exactly an ideal config. Triple channel board should be in sets of 3, so 3x1GB, 3x2GB, 6x2GB, 3x4GB, and 6x4GB.
TX3 is a fairly small cooler, and that is a 135W chip, but I had a lot of success actually undervolting my i7-950.
Max core voltage is around 1.35 safely, not sure with that cooler though.
All about the BCLK and the ram ratio.
Memory targets: (Now you can try overclocking the memory if you want, not sure how well that will go)
BLCK x Memory Ratio = Memory speed
133 x 10 = 1333
167 x 8 = 1336
212 x 6 = 1272
CPU targets:
BLCK x Multiplier (Max of 20 for the 920) = clock speed
167x20 = 3.33Ghz which should be easily reachable
212x17 = 3.6Ghz
212x18 = 3.8Ghz
Just some examples, you will have to mess with core voltage to see what the chip can really handle with that cooler.
Some people found stable configs with BCLKs as high as 250, but most of the time I saw people reach instability starting around 220.