In general, .rar files are commonly used for distributing and sharing large files or collections of files over the internet. They can be opened and extracted using various software tools, such as WinRAR or 7-Zip.
"They're alive," Casey whispered in the voiceover. "And I’m not going to let the executives kill them to save a few thousand dollars on server time."