He now wants to watch the material via his Windows 10 PC and asked me how.
I thought it might be worth looking at whether he could run Linux Mint as a virtual machine using VMware ( the free version), and so set this up on a laptop here.
I had to dig out a docking station for the laptop as it has no CD drive and VMware didn't recognise my usb optical drive, but then all went well and I can play videos from a usb HD through Mint. However, they are not smooth and play with a sort of jerky motion.
Increasing the virtual memory and number of virtual processor cores makes no difference.
I tried installing VMware tools, but ran into permission problems with Mint.
The question is, should I dive into trying to install these tools in the hope they might help, or is there something else I've missed?