Is anyone familiar with this Taj Mahal .25 cents token? Several were described a couple of years ago by an ebay seller as being "counterfeit". I believe that it was an arcade token used at Trump Taj Mahal Casino. What are your thoughts?