I have an Mp4 file that I want to cut 10 minutes off the end of it. Are there any programs that let me do that easily and quickly without having to re-encode the whole file.