I used a program called "Avi2DVD" downloaded from download.com to rip Sin City avi file onto a DVD. It turned out reasonable but it took about 10 hours total, that file was 700mb. For smaller files maybe this program would be ok for you, good luck.
.