Just listed the now defunct Premier Cruise Line $2.50 house chip and the $5 slot token....both mint condition and pretty difficult to find.