you have many options. a lot of it depends on what you like.
if you go used, you could probably get a pair of AKG 480's, a pair of Neumann km184's, a pair of Pelusos (with many caps). If you want large diaphram mics, you could get a pair of ADK mics (with selectable patterns). This is all just off the top of my head. You have a lot of options for under a grand. what mics do you like?