if you're really concerned, call the restaurant and inquire.
Just a heads-up...The menus posted on allears and other places are frequently incorrect. Either they are not really updated all that often, or people report changes that are not correct or Disney changes the menus constantly. Whatever the reason, on both our May & our September trips, we found numerous differences between posted menus and real menus...even menus which supposedly had been updated within the month. The menus are good for giving you a general idea of what kind of items to expect, but they are not iron-clad for what will be there.