I used the x64 media creation tool to go through the whole process of creating an pro x64 ISO. The install.wim inside of the 3.1GB ISO is about 2.6GB in size.
Name specified are the same genuine in msdn organizated by denominated languages pt for brasil, es-es to spain, etc just search genuine iso name
LOL, this is a click button in the Italian page: Two button for download 32bit, but the second button downloading the 64bit version. :
Why you don't just say "Go to WEBSITE kat.cr" or something like that? \o/ Because if you put "kat cr" on Google and click on the first link, you'll be redirected to that page. More specifically: kat.cr/new