What format is the video file in? If it's in some encrypted type file, (not a video file format), you will have difficulty getting it with enough quality for a HDTV. But any of the usual screen capture programs will do it. I like SnagIt, which has a free trial. Once you get it into a video format file, you just need to use an authoring program to make a DVD.