Since there's a rash of it, employee names here are only to be given when providing helpful directions, e.g. "Please see Bill at the board, he can help you find a game" or "John is the night manager, and can help answer your question."
http://forumserver.twoplustwo.com/20...-12-a-1125549/
And before you name the high-winning props:
Privacy of non-famous players and card room employees: Do not post the names of non-celebrity players. Even though poker games happen in public, these players do have some expectation of privacy. Do not post reviews or information about named casino employees.
Badge-wearing, customer-facing employees may be mentioned by name only when providing information or directions.