I may be taking a friend there this summer and in reading all the reviews, I see there's a butler taking care of my every needs (well, most of them

). What's a good amount to tip? Do you have the same person every day? Is that who brings in food/night snacks or is there someone else?
I always leave $$$ for the maids and tip room service, but being a redneck from the south, have never stayed in a place with a butler
Thanks for any advice (and no, I don't think he wants a BJ - I'm sure cash would be preferred from me

).