As a paying Workstation customer, I had to install it from scratch the other day and couldn't find a binary anywhere. I eventually found an old installer on archive.org (!) and settled for that. Grateful to whoever had the foresight to point the Wayback Machine at VMWare's CDN before it was too late.