If these are 'HRC' pins then they are Hard Rock Cafe, not Casino. You should check as there is little demand for the casino ones.
Also, if they are being offered by an ex-employee you could well find they are bags of 50 or 100 all the same.