If your girlfriend got this at school from let's say
the MSDNAA website, you should have I think it is
10 installs of the OS before encountering any problems.
This is just what I have heard but I have also heard that
there is no problem encountered after the 10 installs.
I gotta be honest and say that I don't know about using
the 32 bit key on a 64 bit OS but I assume that this would NOT
be possible.
I have 2 ideas for you:
1) Why don't you try using one of your installs and try the 32bit
key on the 64 bit OS on an install using Virtual Box- you're not
gonna wreck anything on your actual system so give it a go.
2) If your girlfriend did get the 32 bit version from school from
the MSDNAA website for free, she should also be able to go back into the same site
with her user account to get a 64 bit OS and free key also- ask her to look into it!
Hope this helps - cheers
PS: If you do give the 32 bit key a go on 64 kit
Virtual Machine install- please post back results!