Jeffrey Walton:
Mplayer is not installed. But I did not check the others. I'm trying to stay within the KDE bounds. I don't want to bring in anything with a lot of dependencies, or anything from GNOME.
You may find that, at some stage, you do need a player and/or a bundle of codecs that Fedora hasn't included (usually from ffmpeg) for something that just doesn't want to play.
mplayer is a command-line part of a multimedia player, there is a KDE front-end for it I believe (kplayer). There's another program in the same ilk (mpv), of a command line player with different front ends.
They're handy to have around for playing media that didn't work in one of the other players, or quicker to fire up than some feature-rich programs can be.
But good to hear you managed to get it working.