A theoretical scenario here. I've got some Apple product (say, a Mini) that has on its hard drive a typical 700 MB rip of a 2 hour movie. It's an AVI file, uses a DivX codec. How do I watch this on a TV? Say, if I had a 50" HDTV or something.