The thing is, I just might be able to use the stock heatsink with a fan that I already have on hand. I suspect the stock HSF is a 60mm; and I have an adapter, also on hand, that will enable me to use my 80mm fan with the made-for-60mm sink. Would be helpful to know.