I didn't noticed the total - just the Red Bull prices... But yes, I've been to Las Vegas a few times before and even though I didn't pay the bill in some of the bigger events I know how much food costs there. And we did have about the same number of people.
Windows Vista launch. Microsoft lunch in Las Vegas, during CES, with about 50 people. I bet the bill was about that much ;)