I always use hakko 936. it's been replaced by something round and purple now, though.. not sure what the part number for it is.
edit: - there's a zillion chinese clones of the 936 too, probably not as robust, but if you don't use it much they are quite a bit cheaper.. 30 or 40 bucks i think.