What's going to be a reasonable tip for mousekeeping in August at Pop? We are usually generous but I know they are limiting service and only coming every other day. I want to acknowledge the risks they're taking for us to stay safe. What are you planning to do?