I seem to recall there was a special trick to edit the commands pasted into terminal for mencoder so audio encoding can be disabled. Unfortunately, I can't find mention of this.

Also, why does the deselection of audio encode not have any effect on mencoder?