I noticed where someone else had asked a question equivalent to mine, but the answer provided was not really helpful. So I want to restate it. Hopefully someone responsible will notice that there must be an issue with the instructions in need of clarification so that others will not get the wrong first impression and simply look elsewhere for the wares.
Looking on this page, http://docs.kali.org/downloading/dow...i-linux-images, it plainly shows three links pointing to three "types" of images for downloading, namely, ISO files, VMware images, and ARM images. But when you click any of these links, they lead to the same page, which nowhere indicates how to download the VMware images. That type is missing, but the other two are there. I don't know if it was overlooked or whether it was desired that we should have to hunt around through "hit & miss" until we find such images. It seems like the latter approach is inefficient in that it would cause a lot more time for more persons to end up finding the right images, not to mention end up making them wonder whether what they eventually did find was the actual intended target image. That is how I felt about it when I finally discovered them.
I ended up finding the 64-bit VMware images from the downloads link on this site: http://images.offensive-security.com/. Seems like these would be okay to use, but I don't know whether others exist officially sanctioned as well. I would appreciate hearing from someone one way or another. Here is what I ended up getting:
http://www.offensive-security.com/ka...age-download/#