OK, I found the file, it's in http://softwareupdate.vmware.com/cds/vmw-desktop/player/4.0.1/528992/windows/packages/
Extracting the .exe and doubleclicking doesn't seem to have any effect though, afterwards (plus reboot) VMware Tools still says 8.1.1-build528969 (and not 528992).