I had ordered several pins from Disney Direct and received my order today. They were not what I was expecting - They are really big- I was expecting them to be about half this size. Just wondering if this is the normal size pins that are traded at WDW. We are taking our 1st trip ever to WDW in Dec and I think my kids will really enjoy pin trading. I'm just a little nervous that these pins are not the type that are traded. I'm also thinking that if this is the norm it could get heavy!!