OK, so it's the tip, and as usual, when asked, the waitstaff give the typical answer.