Ok, apparently after buying she got to download a tool called windowssetupbox.exe.
She says it is windows 8.1 installer, so is everything normal? Can she download the full .iso file to install Windows 8.1?
I need confirmation from someone who is familiar with the steps, this is all new to me...