That movie, produced by Walt Disney and distributed ... around Halloween time, was The Legend of Sleepy Hollow. I don’t think ...