My 16 year old daughter LOVES mashed potatoes. She claims they are her favorite food. We'll be in Disney at the beginning of June. What are all your opinions on where to get the best mashed potatoes in "the world"? Thanks!!