It looks like you have one already. I have run the Alpha 6035 with a Delta Black Label @ 1530MHz 1.85V with no lock ups, and also the HedgeHog/Delta does fine. My best cooling results so far have been with a modded dual fan VOS32 for the A7V/A7V133 that I purchased on the for sale forum. The guy that I bought it from purchased it at
Trinity Micro. I installed a set of Papst 60mm fans on it from a Swiftech Slot A heatsink that I had. The only issue was that I had to move the NorthBridge HSF down alittle. I will post temperature comparisons soon using my DigitalDoc5 external probe touching the side of the core. Like I said though, the modded VOS32 has had the lowest temps so far according to the ASUS mobo probe.
I still want to try the Swiftech MC462 though. I am on the backorder list for one, and should have it in a couple of weeks.