That sounds like the same system the Golden Nugget had for a long time called the 24KT Club. It spit out yellow ticket from a dispenser and you turned them in. Coincidently, A friend of my wife and mine is going to Vegas and will visit an Old friend who use to work at General Electric hear in Louisville. GE was the first computerized Payroll system in the world in the late 50's. This person went to Vegas and developed the slot card system and sold it to the Casinos. Im on the trail for an accurate article. More later.