VMware Workstation 7 dispose-t-il d'un programme d'installation 64 bits ?

J'ai téléchargé Workstation 7.0, build 203739 à partir de vmware.com , qui dit que c'est pour les systèmes d'exploitation 32 bits ou 64 bits.

Lorsque je l'ai installé, il s'est installé automatiquement dans le dossier Program Files(x86) de mon système Windows XPx64, et le gestionnaire des tâches l'affiche sous la forme vmware.exe(32).

Donc, mes questions sont les suivantes: le programme VMware Workstation est-il disponible en version 64 bits?