Thank you! After several attempts to download these with iTunes, I'm actually having rather more luck with this software.

The videos play fine under Totem movie player on current release of Linux Mint.