Tx-3 is very good, obiously the stock cooler will do just fine but i always prefer aftermarket coolers
From a performance point of view, the stock intel cooler will do the job. But, under high cpu loads, expect it to become noisy when the cooling fan spins up.
I suggest the hyper212. For $30 or so, you will get a cooler with a 120mm fan that will not be loud under load. Also, the backplate mount is much easier to onstall. The stock intel pushpins are tricky to get on properly.
TX3 might be ok, but it has a small 92mm fan which will be noisier.