We just got our 1st 4 vinylmations so we can start collecting and trading them when we go to Disney in May. The question I have is...when you trade them at WDW do you need to have the little card with it? Just wondering if I should bring the cards with us when we go.