Looks like a good deal.
I generally get aftermarket CPU coolers as the stock cooler is average at best, pi55 poor at worst.
If you are planning on not overclocking then the stock cooler will be ok. It's effective.
Overclocking then an aftermarket cooler is probably mandatory. I generally overclock so good cooling is a must, although I usually buy and sell CPU's of the same model until I find one that will overclock 25+% without any increase in voltage. Those are keepers and indicate that the CPU will overclock 40-50% while remaining within the manufacturers recommended voltage range thus preserving the warranty and it's lifespan.
The more voltage the better the cooling (CPU, chipset and chassis) needs to be.
No overclocking - stock cooler is fine unless you're looking for bling.
Mild overclock : <40% core frequency increase or <4-5% increase in Vcore -better air cooler
needed
Big overclock - bigger increases than above- Use watercooling and/or Thermoelectric cooling (TEC, also known as Peltier).
(numbers quoted are for Intel CPU's. My knowledge of OC'ing AMD CPU's is fairly limited)
CPU productivity drops off rapidly after 3.6GHz clock speed. Very few programs benefit from running a CPU past this speed, and none scale linearly- a case of diminishing returns.
As for aftermarket air coolers, tower heatpipe coolers generally give better performance than top down coolers but both are dependent upon the fan/s moving the air through the heatpipes and plates.
Good cooler + crap fan = average cooler
Crap cooler + good fan = average cooler
A fairly comprehensive table of contemporary air coolers
here (Intel)
and
here (AMD)