Re: What does the sound guy do.
In a place that small, they'll likely just do a minimal mic job of the drums. Often just the kick, or maybe snare and kick get a mic. Perhaps you should call ahead and ask the sound guy what's up. Ask him if he prefers you to bring a ported head (probably yes) and also ask what else he intends to mic.