My friend had Barrio and Portsmouth cater an event and it was solid. I'm not sure how much the catering was exactly but it was for around that many people and he said everything for the event ended up being around 10k, so it sounds like it might be right around your price range.