I am looking to get an HDTV card for my computer, but I was wondering if the files the card puts out can be converted to standard MPEG-2 files to burn to a DVD, and if so, how is it done?