Thank you. I saw in another post, something along the lines of "now that the filet is gone from lunch..." and got worried. As of now no dinner available the entire week I'm there.
You didn't specify a restuarant. How was anybody suppose to respond? There are no less than 4 restuarants at WDW that have (or have had at some time) a mushroom filet that I know of and I'd safely assume there are even others. Hence, there was no appropriate response to your original question.