What recording mixer equipment is best for multiple radio hosts?

We have a monthly radio show and have been borrowing the stations equipment but we now have 2,500 in grant money to purchase our own recording mixer, headphones w mic and couple of microphones. The show is hosted by a group of disability advocates so we can have up to 9 people sitting around the table recording the show. We are looking for a recording mixer that accommodates at least 7 headphones with mic and a couple of microphones. I dont understand any of the audio jargon, what is out there for approx 1K in Australia? What are we looking for, and is there something in our price range?