Great to hear about this project, as Aladdin was one of those films I remember fondly as well. It is often very hard to come by information on these lesser known animated features, especially originally foreign ones (like Toei stuff - the Swan Lake film was another of my favourites). I didn’t realise there were even official DVDs out there, as too often (as is often the case) listings show the wrong image or a very poor artist rendering that has little, if anything, to do with the actual film product. I only ever saw it on VHS, from a recording in the 80s. I unfortunately can’t add anything to help out the project right now, but would like to offer my thanks and good luck with it. I am eager to see what you guys can come up with.