@timgray: If your devices play MP4 files, you can use XenonMKV to extract the video and reencode the audio and build an MP4. MKV is just a container, so its just extracting the video rather than reconverting it, and takes very little time, less than 15 minutes for a full 1080p movie. I use it to get MKVs into MP4s…