I wouldn't know, but there's a plethora of unreleased Bad tracks good enough to release. And Dangerous. In terms of making a crap ton of music, 85-93 takes the cakeThey are, but wouldn't they need Spielberg's approval if they were to be released? I could see the songs in the movie if there was a section covering Michael's time with Spielberg, but idk if they would include the Pan songs and gloss over them for Captain EO