We will be visiting WDW at the end of April. My boys are 3,5,& 8. We've planned all the meals, but would love to add a mexican meal. I'm looking for something simple with almost a "tex mex" style. The boys only like enchiladas, tacos, refried beans, etc. any suggestions?? I guess im saying...