What's the proper thing to do? While having a meal at a restaurant, I made a visit to the restroom. While there, an employee who is a server, came out of the toilet area and went directly back into the restaurant. Never washed his hands! Should I tell the manager, or just ignore what happened?