I did originally have them in Divx, but you're right. They were lost with the STTAS episodes...when I found the whole series again, all I could find was something called RMVBR, and I didn't know what that was until I couldn't play them in MPlayer. I reluctlantly installed Real Player, and was careful to disallow all the crap, and turn off any nonessential crap they packaged with it.
They play pretty well on the computer though
