VMware playerに vm tools が入っていない？

所要があり、久しぶりにvmware player をインストール。7.1.1だった。
さっそく手持ちのwindows 8.1のisoを読ませると、vmware toolsをインストールし損ねて、


「アップデート サーバが見つかりませんでした」

などと言われた。

googleでしらべ、とりあえず下記から7.1.0をゲット。

http://softwareupdate.vmware.com/cds/vmw-desktop/player/7.1.0/2496824/windows/packages/

この中の
tools-windows-9.9.2.exe.tar

をとってくる。7-zipで解凍、さらにコマンドプロンプトで

tools-windows-9.9.2 /e iso

などとやると、isoディレクトリーに中身が展開される。
さらに、その中のmsiファイルを7-zipで解凍、ようやくwindows.isoがゲットできる。

VMware player 7.1.1にisoが同梱されていないのか、アップデートサーバーに実体がないのが原因なのかはよくわからない。