Mics? no kidding. I unfourtunately will be unable to attend this year, but I'm really suprised that they would even attempt to mic people. Especially (and I hope I can say this without offending anyone) knowing how absolutley crappy that sound system is and that there really isn't anyone there right now who knows a lick about doing it right. In that space, if you're voices can't be heard over the music, then you need to be a lot louder and tranqualize the band. It's too imtimate for mics. You just can't get away with it IMHO.
I have to disagree with the last comment about mics. Singers, even professionals (look at Broadway) use mics for musicals. A singer's voice is not meant to sing over a band. When you try, you may very easily over-sing and hurt yourself. Mics are almost always needed for musicals, especially in a place like Harbach where the acoustics are not meant for singing.
On another note, I know that the students who worked on the sound did a fine job and worked very hard at it. We did have some struggles with it, yes, but it was a great learning experience for everyone. Isn't that what Rep Term is all about anyway?