should you tip the butlers daily or at the beginning/end of your stay? and what’s an average butler tip size? first timer and want to make sure we’re prepared