By aftermarket cooler, I guess you mean something to cool it down better than the standard?
Personally, I'd get the 3000+, and then if you can (better cooling
), overclock it to a high specked speed, which would easily be faster than the 3200+ for no more money.