Gift ideas for kids going WDW?

My 7 yr old nephew is going to WDW right after Christmas this year. I'm trying to think of a great bday gift incorporating the trip...I was thiking of Disney Dollars in a Disney wallet...but am reading of ppl having trouble buying them. Any other ideas to get him hyped up would be greatly appreciated!