I did a search for pin trading, but most of what I found was people wanting to make specific trades. We are planning our first trip in December, and friends of ours who just went to WDW said their kids enjoyed the pin trading. My 8 yo DS who will be 9 at the time of the trip is interested. I don't want to just jump in and start buying without researching first. What are the best placed to buy before we go so he will have some to trade with CMs? Should we wait until we get to the park to buy a lanyard? He likes Toy Story- should we just buy pins that he likes? Any tips would be much appreciated!