I have Laserschwert’s German Despecialized Edition as 3 GB 720 mp4, 2-pass encoded, for my mobile. I did this with with a commercial encoder, quality is really good. The only problem… It has German audio only.
If there is demand I can encode Harmy’s original versions with English audio - if I get Harmy and Laserschwert’s permission to do that.