How does WDW manage their restaurants? I know each restaurant is not necessarily operated independently. The food carts are currently a whole separate operation. Can anyone point me in the direction of an overview of how it is all organized?