For those interested, the other film which used to play there, The Walt Disney Story, is available on one of the DVDs sold at Walt Disney World as a "bonus" feature. The original was in 2:35 to 1 Panavision, however the bonus on the DVD is panned and scanned. But, it's better than nothing.