So I saw that there was updated Language and we noticed last cruise that an additional tip for the concierge was added to our bill, we still tipped additional in cash since we brought it is this still the norm with the newly added gratuity for concierge? I should have kept the last folio trying to figure out what to budget for upcoming trips thanks in advance.