I've noticed a large number of higher denomination Puerto Rican chips being auctioned individually on eBay recently. I would like to buy a large number of different ones. Can anyone supply them?