I have just listed the now defunct Premier Cruise Lines $2.50 house chip and the $5 slot token. These are both mint and extremely difficult to obtain.
Please take a LOOK!