That’s only $20 per person FWIW Not a high paying crowd
Not as if the waiter was going to get a tip anyway.