Yes, I *am* grasping what you said! 
I think you believe I'm not "getting" what you said because I was being persistent in doing it *my* way (meaning, the way my coworker did it).
But that's fine: I *do* see how to load the .iso image from Tiny Core Linux. FYI (& I'm sure you know this), I click the radio button for "Linux" under "What type of Guest Operating System", but then it asks what "Version" of Linux and "Ubuntu" is selected by default. What should I change that to in the drop-down list??