(note that you have to root around in the BDMV\STREAM folder to find the file, just look for the giant one, rename it to .mkv or .avi)