Just picked these up today after many years of trying to negotiate. The CPR's are from the Casino de Puerto Rico. The $100 inserts are actually green and tangerine, the scan does not pick the color up. The El Barranquitas is black. All are unlisted.