Somone at work today asked me how to encode a DVD they have to their harddrive. What do you guys use to do this? I hear good things about gordianknot. Any other suggestions?