Есть ли у VMware Workstation 7 64-разрядный установщик?

Я скачал Workstation 7.0, сборка 203739 с vmware.com , в котором говорится, что он предназначен для 32-битных или 64-битных операционных систем.

Когда я установил его, он автоматически установился в папку Program Files(x86) моей системы Windows XPx64, и диспетчер задач показывает его как vmware.exe(32).

Итак, мои вопросы таковы: поставляется ли программа VMware Workstation в 64-разрядной версии?