We’re on holiday in Greece at a really lovely hotel. We’d like to leave a tip for housekeeping as a thank you but are unsure as to how much. Google is coming up with vastly different suggestions of what is the norm. Does anyone know what people normally do, please? Thank you.