As I posted, the waiter told me that 10% was tax and 5% went to the staff.