imagine.. if split amongst them, still $300.. wow..
besides, think about it.. if they are like the stereotyped guys who
go in there to eat, each dude will just throw in about $20 and
leave the rest as tip, and the meal comes to about $12, they serve
about 200 customers a day, that'll be about (conservatively) $1500
in tips!
split with 3 waiters, cook and manager = $300 
