acorralado gracias por el aportar una posible solución pero a mí no me funciona. Es ejecutar el instalador y no hace absolutamente nada. He probado con varias versiones bajadas directamente de la página web de VMWare (
http://www.vmware.com/download/player/download.html).
Sólo se me ocurre formatear, y no me apetece mucho, la verdad, aunque si es necesario quizás lo haga.