I just checked the Micron manual for the input specs. Audio Input Input Connectors: 2 Balanced 1/4" TRS jacks Maximum Input Level: +5.2dBu (1.41VRMS) = -0dBFS ...
any cheap mike works fine ... no reason at all to use, unless you got one, something at the level of the standby mike, a shure sm58 ... Was there not someone...
 A dynamic microphone.... preferably a directional mic... Condensor mics are the wrong type due to sensitivity of the capsule... An EV RE20 would be the...
you can use a mixer to send the input to the synth that or a DI box .. I prefer a mixer when I am sending audio in using a mixer gives me a wider range of...
I use a large diaphragm condenser and cheapy Joe Meek pre-amp with the Ion - i'm still not 100% happy with the vocoder, the response sounds a little bit grainy...
You dont want a condenser for a mic..... you want  a medium to large "dynamic" microphone.... Condensers are wrong for vocoding.... a SM57 shure will work......