Xerox Man,
With that 38cfm fan, any one of the heatsinks you listed will cool your CPU well as long as you use thermal paste and have good case ventilation. The 38cfm fan is very loud....so loud that I couldn't stand the whine and replaced it with a modified shroud on my Alpha Pal6035 coupled with a 80mm fan...now much quieter
My A7V TBird 1GHz runs at 47 to 51C at full load running RC5 24/7 based on room temperature. The idle isn't much cooler because of the crappy BIOS of the A7V board when it comes to cooling. The older BIOS produced temps in the mid 30C's with that, but I needed the new BIOS for Win2000 stability.
Good Luck
