でも、VMware Workstation と VMware Player って、明らかにバイナリ違うはずだけど、ビルド番号同じだよね？
なので、ビルド番号って、対応する VMware Tools を基準にしてるんじゃないかって気もするんだけど？