I recently went to ASRock's website to download the most recent BIOS for my first build but when I downloaded the file in came in a zip folder. When I extracted the folder it has the file with a .80 file extension, is this correct? Do I need to leave the file in the .zip format or what?
More aboutasrock extreme4 z77 bios update question
What you have is an "ISO" file.
Updating (flashing) the BIOS has some risks. Here are some instructions: