We're going to WDW after many years. I know that at some "grab" food spots in the parks they only have ketchup and mustard, ie: the bare necessities, at the food prep station. I remember that at Pecos Bills (I think) and at Cosmic Rays, Magic Kingdom, they have lettuce, tomatoes, mushrooms...