you need a program that can convert .avi/.mpeg/.wmv etc
the prgram i use is
VSO divxToDVD (i have just been informed it is now named ConverttoDVD, buts its the same program!)
This will allow you to burn most movie file extensions onto a dvd and you'll be able to watch it on a normal DVD player.
*if you need any help in purchusing this program pm me

*
WW - it depends what movie she has downloaded, not all movies are copyrighted!