I need to buy a new audio mixer (for microphones, etc) for my high school football stadium. What should I get?

We need to be able to drive at least 3 handheld microphones, a referee's microphone, music from either a CD player or a computer, and possibly coaches headphones. In all, we will probably need at least 10 inputs. We are outputting to 3 large outdoor speakers. Thanks for your help.