...We're sure that $12 per person is going to buy a decent dinner and cover the tip to whomever has to deal with 'em?
Depends on the restaurant. Since Tony was doing his homework on this a couple of days ago, I'm sure he already took that into account.
Speaking as the guy who organizes our pizza parties at work, $758 can buy enough pizza, fried chicken, salad, potatoes, and cookies to leave 142 people in a food coma for the rest of the afternoon. $1000 ought to be pretty decent for a group of 80 at any place that isn't a Brazilian-American Churrascaria (I miss you, Texas de Brazil.)