The stock cooler at idle will give you pretty similar results compared to a good aftermarket cooler, but being overclocked to 3.6Ghz the stock cooler will get you idle temps in the upper 40s to low 50s.
At load the stock cooler will get up to 90, whereas a good aftermarket cooler should keep you in the mid 60s when overclocked to the degree you have.
This is pretty fresh in my memory because I just switched from the stock cooler to a Xigmatek s1283 (also using AS5). Mine stays at about 30-32 idle, but mine's not OC'ed ATM either, but did do some OCing temp tests. I got up to the mid 70's stressed @ 3.6 (didn't go any higher).
Your temps are pretty darn good IMO.