I was in Harrahs the day before the machine was filled and the Slot Manager showed me the $200, $40 and $10 so I know there was at least 1 $200. minted. Can't say if there was any more.