I'm sure the chefs would appreciate it now that the new dining plan is implemented without the gratuities included. However, it would definitely feel weird to tip the chef and, probably the other diners on the table would feel like they were obligated to tip as well. So I say only if they...