Assuming the budget and timing is flexible...
1st choiceSchoeps MK4 > KCY 250 > Sonosax SX-M2/LS2
Won't find it new for < $2k, and good luck finding that setup used.
2nd choiceMK4 > NBox or NBox+ > recorder
Again, probably won't find the above new for $2k, and again good luck finding that setup used.
3rd choiceDPA 4060s > DPA mma6000
No problem getting new
4th choiceAKG CK91 > AKG NBox > recorder
Only 4th choice because it doesn't yet exist.
If the budget and/or timing isn't flexible, I'd go with #3.