The stock cooler should work if you're overly concerned about it. Otherwise a smaller air cooler should be plenty. Something like a cryorig m9i would be plenty. It's smaller than the 212 evo, a bit lighter, cools a bit better and it's quieter.
http://www.newegg.com/Product/Product.aspx?Item=9SIA4UF39E2338&nm_mc=AFC-C8Junction&cm_mmc=AFC-C8Junction-PCPartPicker,%20LLC-_-na-_-na-_-na&cm_sp=&AID=10446076&PID=3938566&SID=
Since it's a locked i5 I wouldn't expect it to get too hot.