I am curious on how the $200 tokens were obtained? Are they from higher denomination machines or from trade ins? I checked at slots of fun and the personnel said they are not having the $200 this year. Where are the currently found? (for this year) Just started collecting, as was wondering.