Disney laying of 10 000 people is possible. You guys seem to be very Orlandocentric. Disney is truly international and expands far beyond the theme parks.
That's for sure just think of what Disney runs. How many Parks and Resorts around the world? They have about 56 Park, Resort and Cruise related places alone, which includes Parks, Resorts, shopping areas (i.e. DTD), cruise ships and
Castaway Cay. Then there other things Movie studios, television, animation, record studios, stores, ect. I see on Wikipedia disney employees 137,000 in 2008.
Here are some divisions of Disney;
ABC, ABC Family, ABC Kids, Walt Disney Distribution, Walt Disney Motion Pictures Group, Disney Channel, ESPN, Jetix, Walt Disney Studios, Walt Disney Parks and Resorts, Walt Disney Television Animation, Walt Disney Records, Walt Disney Pictures, Touchstone Pictures, Hollywood Pictures, Miramax Films, ABC Studios, Playhouse Disney, Disney Consumer Products, Pixar Animation Studios, SOAPnet, Disney Interactive Studios, Muppets Holding Company,
Disney Store, Toon Disney, New Horizon Interactive, and Hollywood Records