Here's the current status:

"MP3 will play. MPEG2 and MPEG4 will play. I tried reformatting the hard drive. It will not play VOB files."

So what should he try next?