A little further update. I filled out my form to give extra tip to the waiter, assistant, waiter, and room steward, and I took it to guest relations. I was just going to drop it off, but the man there said, wait I need to show you each person’s picture to make sure we have the right employee, because sometimes two waiters have the same name. So he looked up their employee numbers and showed me their pictures to confirm that I had the right person.