Cards
They have cards now
A mix of coins and card.
They had tokens before, but later in the year (2017) switched to cards with credits. If you still have tokens, you can take them to the desk and have them credit your card with the amount of tokens.
They have some games that take tokens but the majority have card now.
Tokens
They have coin tokens if thats what youre asking.
Thanks! Your answer is awaiting moderation.