Raw video files that I record are way too large (4 min video is about 7 gigs). Which setting and which tool (preferably free) I should use?