For anyone interested I've just listed over 30 different Hard Rock chips on eBay.

I've also go a number of other limited edition $5 chips listed as well as other casino items.

Thanks for looking and good luck to those that bid!