Does anyone know the origin of these chips? I haven't a clue. The scan is from an auction. The yellow chips are a $5 denomination, and the letters "PM" are on one side. Any help would be appreciated; thanks!