My understanding is that the butler and concierge do not participate in the gratuties program. Other than afternoon snacks from the butler, I don’t anticipate using either for anything else. How much should i tip for 4 people? TIA