I am trying to start planning my ADRs for our first family vacation to WDW in December. My DS, who will be 3.5 years old at the time, loves tacos. Allears shows tacos on the kid's menu for San Angel Inn, but the wdwinfo menu does not show tacos. Has anyone been there recently who can confirm whether tacos are still on the kid's menu? Thank you in advance for any assistance!