I think I know the answer to this (yes?) but, just to be sure … at restaurants that are *not* all-you-care-to-enjoy, it’s okay to order an entree to share, right? I’m looking at menus, and could see us ordering 3 for our family of 4 (for example), plus some appetizers. That’s okay per Disney?