I've said it before, but I think anyone in your situation needs five mics, and it looks like you've got four of them figured out. Everybody needs 1 common dynamic (SM57), 1 Large dynamic (Beta 52, AKG d112), 2 SDC's (JM27, MXL603, Oktava MK012) and 1 LDC (Lots of choices)...
So you've got 800 to work with? Where do you really want to sink your money? Do you want a GREAT LDC, mediocre for the rest or do you want it pretty equal across the mics you get?
Here's what I would do:
SM57 - 90 (try to get a used one - 60)
Beta 52/AKGD112 - 200 (used 150 and I like the D112 personally)
Oktava MK012 (russians) - 250ish (used 200) (I've had 603's and JM27's and I'd pick the 012's first, the 603's next and the JM27's last)
So far that's somewhere between 410 and 540...That gives you somewhere between 390 and 260 bucks to play with for an LDC.
My top choice, ringing under 350 used would be a Rode NTK. I love mine. Right after that would be steeper at about 400 used for a At 4050, simply because it's very typically called a workhorse mic and as far as I understand everyone has one...I liked the one I got to try out very much, and wish I had the Cash to get one. If we're looking at cheaper mics I would say that the AT 4040, the CAD M179, and the SP C1 are typical examples, and if you work it right you could get 2 of those three choices, especially if you look for used mics. I've used all 5 of the choices I've listed, and with all of them I have had great experiences and little to no problems. If I were to add to the list I had up there I'd go with the CAD M179 (used 150) and the AT 4040 (used 200).
That's just my opinion.
Jacob