Disney used to have to make a lot of prints. Don't forget Star Tours originally used 70mm as well, and rides like The Haunted Mansion once used 16mm film loops for many of the "live" ghosts. I used to know where to look on that ride to spot the film projectors, and they were replaced with video projection sometime in the mid 80's.

There was an abbreviated version of the making of that played in the ride queue on tv monitors. That's what I suspect the Laserdisc might be from.

They never would have used LD to project the movie in the actual attraction.