/usr/lib/vmware/isoimages/
"The portal is down for maintenance," Elena sighed. "I checked. We need vmware tools iso
If the menu option is grayed out or fails, you can mount the image file manually as a virtual CD/DVD: vmware tools iso