Since we can produce MP3s, AudioCDs I'm unsure why there is any question about the audio format here. As to the mic issue, your sound designer gets to deal with all that. Nothing new here, no magic. You set it up and just like all sound systems you run the mixing board to get what you want.