On Wed, 27 Dec 2017 15:35:30 -0700, stan wrote: [....]
In addition to all the other suggestions, if you install the rpmfusion version of ffmpeg, it comes with a simple program ffplay that will play such videos.
Many thanks to all! I do install the rpmfusion repos, and am happily trying out all the new software on my little stash of unseen attachments.