He downloaded and installed the software, following the prompts to compress his video. To his relief, the software worked like a charm, reducing the file size by over 50% without compromising the video's quality.