My dad is looking for a pair of mics to hang over a vocal ensemble. The mics will be used for amplification, not recording. Group of 20-30, small theatre, on a stage. He mentioned he was getting a pair of AKG 1000's but that doesn't seem like the best choice to me. He said $2-300 per mic. Thoughts?