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.
Bob
I have a Macbook Pro and am thinking about buying the Tascam DR-05 Portable Digital Recorder for our church. We don't have a big sound system....kind of a jury-rigged one that will amplify the pastor, if he has a mic in his beard. I have tried to get the recorder to work so that we can burn CD's for people that aren't there, but it is spotty at best. Also would be nice if we could record bible studies for people who miss, and if could pick up the whole service...singing, comments from audience (congregation) and not just record from the beard mic...which isn't working anyway....
I thought maybe something like this Tascam could work....but since it will be me who transfers to CD, want to make sure it is easy for me to do...and that people who don't have Mac's or use a CD player of some kind could use it too....
Anyone out there know enough about this stuff to give me an opinion....as I'll also probably be purchasing it as well.....

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic