Everyone is going to recommend what they use, because they think they're the best. They are not, they only sound best to them because that's what they have and that's what they're used to. I would do the same, but I won't (even though they fit your needs in every way). Instead, I will suggest you go to
www.bt.etree.org and download several of the same show that was recorded with different set-ups. Although the only true test is if they all used the same recorders and were in the same spot, it will give you a better sense of the sound of the mics used than the rantings of biased users.
Remember, the mics are no good no matter what they are if you get caught and they take away the SD card, so don't compromise what you are looking for.