Hi! It's a RAR file. If you don't have it yet, download WinRAR, it will open that compressed file. It's very very very common to compress and uncompress big files with WinRAR, so don't worry, you'll use it again soon.
does it do it by itself?
