Casino gratuities, also known as TOKES, are tips given by customers to casino employees such as dealers, bartenders, and waiters. TOKES are usually given in the form of cash or chips, and are a way for customers to show their appreciation for the service they have received.