I was just remembering something I thought was odd - when it came time to tip our waiter and assistant waiter, we saw different names on the envelopes. I checked with guest services, and they said the envelope names were correct and they would go to the right people. He said they go by different names on their name tags. It wasn't even remotely close like a nickname. Anyone else ever notice this? Why wouldn't they want to use their real names? It felt odd after spending a week together and calling them by this other name.