Hi, There is a VERY good review of The Wave at the CR over on the Dining Review boards and the poster had mashed potatoes with her filet in May. But when I looked at the menu for The Wave there were NO mashed potatoes at all on the menu. Has anyone been RECENTLY and are mashed potatoes anywhere on the dinner menu?? This is a make or break deal for my DS when he orders a filet(which he ALWAYS does!!) he has to have mashed potatoes with it. We have actually had the chef from Citricos come to our table so that DS could tell him he had THE BEST mashed potatoes in WDW!! Thanks, Joan