After talking to Samsung (who wanted to access my phone to check settings, which I declined)
I found a video that showed (no way could you find this in the phone settings ) how to change
your default video player to (in my case) VLC video player.
Now it works seamlessly: you select a video in the Gallery and VLC plays it. I no longer get the
stretched display problem. I was thinking of re-installing the Samsung video player, but this was
easier
Caveat: The file/directory display when you just use VLC is not as good as the Gallery display,
hence the need to make it the default player and leave the Gallery function as is.