We are captaining a bareboat power cat charter ourselves. The boat will be stocked with our provisions upon our arrival. Any recommendation on leaving a tip for the dock/cleaning crew upon our departure? Seems like they deserve something.