I will never understand when people pay $$$$ to cruise why they worry about tipping a porter a few $. We are in our seventies . We are happy when we don’t have to touch our luggage till we get to the cabin. We tip the taxi driver at the airport , again when we catch another taxi and then the porter. Don’t sweat the small stuff. Tip for service. Enjoy your cruise.