Could be -- he didn't say. If he's on Linux then there's no shortage of software available to him. I recommend Andrew Flagg's tablet-encode script
BTW these attempts all play great with vlc on linux