One of the 3 "other" Mickey cartoons might be: Mickey Mouse Disco (1979): No new animation, but a compilation released in theatres set to original disco music, to tie in to the album of the same name. I have a 35mm print of this but have not found a place to view it yet. As for the other...