Hi, I'm getting a new college black box theater this fall. The build specs calls for us to receive one Sennheiser Evolution 100 receiver with both a handheld and lav as part of the built in system. So that's a done deal. It's fine for things like lectures and guest speakers, but we want to purchase some mics for when we rent the 700 seat proscenium space down the street to do musicals. Appearance wise, I want to have something better than the old Lav over the ear with medical tape... either a tiny over the ear boom or hairline mic. Another priority is something with a good variety of frequencies to choose from and easy to change (lots of wireless issues here in Seattle) Budget? I've got about $3000. I would prefer to get 6 mics with that but realize I may have to limit myself to as few as 3 or 4. So I would prefer something around $500 but can go as far as $1000 if it's REALLY worth the difference. Recommendations?