We bought a Pal Mickey via mail from the discount Disney store posted in a thread a while ago. Anyway, I am finally going to WDW this week. My question is: Any tips for using Pal Mickey in the parks? Do I need to get him programmed or does it happen automatically?