I’m going to download the Windows 7 Professional operating system from Microsoft’s website instead of ordering the disk. I’m curious though as to how large the file is going to be. I’m sure more than a few gigabytes, but does anyone know how large specifically?