As usual, I'll have to throw in my recommendation of the Milab VM44's, which are awesome mics.
You might be able to find them used in this price range, but used will be very, very hard to come by. Unfortunately, Milabs just had a big price increase. Still, you can get a pair of the VM44-link which are the active cable version new for about $1500. The non-active version would be a bit less.
Both TNJazz here as well as rokpunk are dealers for Milabs. If you check with our local boys and go for the non-active VM44 version, you might be able to pick up a new set for $1200-1300.
I've owned and ran small diameter mics from Neumann (km184 and km140/150), AKG (481/482/483, AKG 461/463, the jklabs box/active version of ck61/ck62/ck63, and blueline 391/392/393), MBHO (603a with omni, card, and hyper caps), and Gefell (m200, m210) and like the Milabs quite noticeably more than all the others save the Gefells. Gefells and milabs are a tossup to me, I like them both, and both provide a different sonic signature.
And yes, don't forget about listening on the Archive, since different people prefer different mics.