On the Chip Guide under Players Club (Slot) Cards, scroll down to XX:
http://www.themogh.org/cg_chip2.php?id=NVLVGN&p=000000000000001000000000#320

Per the Slot Card Guide the value for any of these red cards is $7:
http://www.slotcardguide.com/

I believe these cards were used to obtain this ticket:

This card was inserted into a box attached to a slot machine.
From the box these tickets were dispensed like in arcade games.