We leave home tomorrow and were thinking of eating here when we arrive on Tuesday. Looked at the menu and saw the prices. How big are the sandwiches here. With the prices I saw this is either a really good bargain or the sandwiches are finger sandwiches. $4 and $5 for a sandwich at WDW?