The menus at the Walt Disney World restaurants change fairly often. The best source of information is the Walt Disney World website, but even that is sometimes behind. If there is something that was once on the menu that is gone, ask. They might still be able to make it.