The file is the right one. '.7z' is a filetype used by 7Zip, a zip software. I'm not sure that you can unzip it without the software. It's free and trustworthy, I've been using it for years. Try downloading 7Zip and using that to unzip the folder; everything you need should be in there.