Hi!I was hoping someone could answer this.We are leaving Thursday,and my ds would LOVE a Jedi Mickey(a Darth Mickey more,but I'm sure those are gone).Will I be able to find one?Approx how much are they?I know there is a shop called Tantooine Traders,is there anything exclusive to WDW Star Wars that a 4yo(he's more on the level of a 2.5yo) would like,and how much should I budget?I'm trying to figure out our spending money for the trip,as we are on a VERY tight budget.We are so excited!!!Less than a week to go!!!! 
