I've recorded quite a bit of mandolin (you can see the liner notes to "Mandolin Graffiti" here), and have tried all kinds of mics, preamps, and setups, and I just gotta say what a big fan I am of the Shure KSM32 on an F5-style mandolin...
The definition is there, the air is there, and the mic...