CRT-711, Ticket-Spender, Kartenausgeber, Karten-Codierer, card vendor, Kartengeber