Use the retail, it works fine.

My roommate's 2.4C is at 3GHz and going strong. People have been using the retail P4 heatsinks for a long time now for quite decent overclocks. Just as a warning, if you get an Abit IC7 and see horribly high temps, it's normal and you should find the other threads about it.
