I personally have had experience with the KSM27, AT4040, and GT55. I think that all three of them would be fine choices, with the GT55 probably trailing the pack a little.
The ksm27 and 4040 are going to be mics you will probably keep around for a while. They're versatile and have good build...