So, updated. Tried converting a video using a program called SUPER (I've used it for a while, looks somewhat intrusive, but so far it's pretty safe and works fine).
And guess what? It works!!, tested with a short video (the MK7 commercial I downloaded from YT).
I selected AVI as the output container, M-JPG as the codec and ADPCM IMA as the Audio codec. Used FFmpeg as the converter. Changed resolution to 480x240, FPS 20, Audio to 11025, 1 Channel and I left the rest as default. Dunno if it works with other settings, as I just tried it very quickly.
I renamed the video to HNI_0037.AVI (or something like that, depends on how many thing you have there). And the video is there and works fine with audio.
I'm pretty sure someone else will further test it.