I've seen Divx Files of these three films (you know which three) floating around the net for awhile. There resolution seems to be 640x272. Has anyone encoded them to put onto dvd? Is the quality any good? Is it worth it?