Krunch, I usually hand the porter a $5.00. The first time we cruised the porter may have been shorted because there were four of us, although there were no more than four or five bags. Since then it's only been two people. I don't pack heavily.
Queen, the only time I experienced the type of porter you mentioned was in Miami getting on the NCL Sun. He got his tip. I was going to tip him, anyway. I did not need the reminder, but I think he got less than he would have if he'd kept his mouth shut.