Well, that's what is confusing. I think if he had a 32-bit system he wouldn't be able to install the 64-bit version of PP2010. So the line of questioning in my case is to determine whether or not he does actually have a 64-bit system, OR if the shortcuts on his desktop are for PP2010 and something else (like the render queue maybe?)