VLC is slow and clunky. It's pretty outdated. mpv is fast and extensible, it's a good replacement. Of course, good to have both around for situations like you described.