go to the archive and listen to a bunch of different mic sources. take the suggestions and use them as candidates for your listening, but by no means take any opinion here as gospel, including mine. ears are very different....there are a lot more options than the "common" ones used here such as the AT 4050s, ADKS, Josephsons...earthworks..the list goes on and on. I will tell you this...Last week I had a mic shootout with several HIGH END mics(I mean 5-6,000 dollars a PIECE, not for the pair..) and had the AT4050 in on the rotation. I was amazed at how many people that were in the listening tests and heard the tests afterwards prefered the 4050s over the "boutique" offerings... I also know of an AKG c33E stereo Mic (you can search that one on Archive too) for sale. less than what you have too, cost-wise. itll be a long path to determine what you like, but dont buy based on suggestins alone!
Teddy