Have you tried converting the file to a more modern format?
I use Fornat Factory https://format-factory.en.softonic.com/
The converted file. say .mkv, will run with the Media Player
and will be smaller, without loss of quality, if you want to archive it