I can confirm - adding OBS:Media as a higher priority allows the new 3.0.17.4-332 versions of several RPMS to be found, they installed clean from the Yast software GUI (after adding the repository at higher priority). The new vlc and corequisite programs also work fine, playing both an mp4 file and an "mkv" which I built by converting an mp4 via ffmpeg. Thanks also, CJ, for correcting my bad reference to the previous compatibility version.