Is anyone familiar with Disney World Pocket Token Coins? Supposedly, they are made from metal from refurbished attractions at WDW? A friend bought some at the Character Store and was asking me what I knew about them. A Google search brings up several different coins and does indicate that they are from refurbed attractions, but no real info. Thanks in advance!