No, they are ISO files. Image files of Bluray discs that you need to burn to a blank BD-R. Menus and everything.
There is an MD5 file included in the downloads. You need a program like MD5Summer to open that file with. It basically verifies that everything downloaded correctly and didn’t get corrupted somehow during download.
So if a file has an error all i need to do is delete and redownload that file?