Audio-Technica makes good stuff. I haven't used their stereo mics, but I have a pair of AT3031's that I use for stereo recordings of live groups on occasion (check out the music download on the E.G. Browne website in my signature line--I made the 2006 recordings with those mics in the room pictured on the front page).
Get a stereo microphone bar like this one and a tall mic stand with a heavy base (so it doesn't fall over), and as long as you are close to center, and get the mic up over the people, you should get a pretty decent sound.
The other option is to get a two channel balanced 1/4" TRS to XLR snake and have the sound guy send you a recording feed from the sound console (this will give you the best sound, as it's a feed straight off the board, without all the miscellaneous room noise).
Get a stereo microphone bar like this one and a tall mic stand with a heavy base (so it doesn't fall over), and as long as you are close to center, and get the mic up over the people, you should get a pretty decent sound.
The other option is to get a two channel balanced 1/4" TRS to XLR snake and have the sound guy send you a recording feed from the sound console (this will give you the best sound, as it's a feed straight off the board, without all the miscellaneous room noise).