I ran the km140s and the very similar km184s for years, and would highly recommend them. I haven't gotten too much of a chance to listen to MBHOs, but from what I've heard, I prefer the neumanns.
Another option to think about if you can wait 3 or 4 months is to get AKG capsules and the JK Labs ECMS box and active cables. I just got this set up and love it. JK Labs makes a custom box that allows you to run the ck6x series capsules (for the 480 and 460 mic series) without the mic bodies using a custom active cable set up. You could get the JK box/actives and a pair of the AKG ck61 card caps for about $1250 new, or pick up the JK box with both the ck61 card caps and ck63 for about $1650 new. Only downside is that there is a 3-4 month wait to get the JK Labs box. This setup is very compact, definitely good for very low profile work, and stealth too if you're good at smuggling things in. The AKG caps and active cables are about the same size as a neumann or mbho setup, but instead of having the mic bodies in your gear bag, you'll have the JK Labs box which is about 4"x3.25"x1.25".
Another option you might want to think about. It sounds great, it pretty compact, and will be a bit cheaper than your other options. Personally, I think the ck61 card cap setup produces a tape that is on par with the km140s (different flavor, but both are very good). IME, the ck63 hyper setup is far better than the km150 hypers though if you want to add that to your taping arsenal at some point.