If you are friendly with your local GC, they can do a new D6 for about $150. Great mic, but prescooped, not ideal for a natural tone. ATM25's are discontinued, should be well under $150 on the 'Bay.
I actually have a AKG D112 that I'm looking to sell. Physically it's got some scratches in the paint, but mechanically, it works and sounds like it's brand new. Let me know if you're interested. I can sell for relatively cheap.
EDIT: I'll sell through eBay too if you want. I plan to put it up on eBay anyway but I'll let you have dibs on it first if you want it.