AFAIK they normally hand out retail versions. I'm surprised that they are only handing out 32-bit though, I was under the impression that they were wanting to push 64-bit.