Ah, OK. I encoded the information directly from the DVDs using a program called DVDx. I used the latest DivX codecs to format them to AVI files (DivX 5.1, in other words), without sound. The music was "borrowed" from an MP3 of the song, as mentioned before, so naturally, quality would suffer on that. However, I didn't get much in the way of garbly sound, myself. I used the latest DivX player and, apart from the natural little bit of sound degradation from the MP3 format, it sounded just fine to me. O_o;
I'll look at DVDx to see if I can find out how to deinterlace the videos as they're captured. Be glad, though. I went at twice the resolution my partner usually works with (I simply could not stand such an abomination of resolution; sorry, Chris

).
All editing was done using Final Cut Pro on a Macintosh Powerbook, and was exported to DivX 5.1 AVI format.
BTW, any suggestions about what kind of music files to use in the future? Since MP3s are apparently not good enough for some tastes, is there an easy-to-find, yet high-quality format out there that is compatible with Final Cut Pro, Movie Edit Pro, or Lumiere (sp?)?