Well, I have AS5 as you suggested and also some Thermalright. Never used the latter of those two, so I guess I'll probably stick with the as5 for this mess.