Overhead mics

tgs

Elder
I'm considering buying some new overhead mics to replace my ADK A51's that I am currently using. The thing I don't like about these is that I have to tweak them too much to make the cymbals fit in the mix. I usually roll off a bit over 11kHz and boost in the high mids, but they still don't sound the way I want.
I don't want to spend a fortune on this, but I would gladly spend some extra on getting a sound that pleases me.
I've looked a bit at Oktava MK012 and Behringer ECM8000. Does anyone have any experience with these? And what else can you recommend? What I'm after is to get a warm sound, not too frizzy.