yeah these are pretty much the options. i believe the ffmpeg command that OP suggested would do option 3.