The $10 per person charge in Palo is not a tip. It is considered a "service fee". Remember, these meals are cooked to order and are head-and-shoulders above anything you will eat in the main dining rooms. I usually tip the servers in Palo as I would tip a waiter at an upscale restaurant.