Conversation

Replying to and
Most of the interesting bits are in the nonobvious "Output" tab. (arrow) Set res & duration to output (not inferred from the video on the sequence is!) File format, FFMPEG video, container MP4, codec H.264. Audio codec AC3, not "none." Then Render menu-"Render Animation"
Image