We visited WDW last week, and at the pin trading store in DTD they had a display case with a few pins that were going to be released limited edition for Christmas. Not available until 12/20. Does anyone know if these will be really expensive? And, is there any way I can get one? My daughter really wants the Christmas Tinker Bell.