Thanks guys.
I am posting this from my Athlon 2GHz machine running my new CD version of the 64 bit ISO.
old-polack, the problem is that none of my currently connected machines have a CD ROM drive.
old_guy, thank you, I knew that there was an absolutely trivial way to obtain the ISO file from a disk but just could not remember what it was.
Since I usually make typos when using the command line, I just opened Dolphin to my desktop with the terminal panel enabled and typed "dd if=/dev/sr0 of=64,iso" "dd if=dev/sr0 of=64.iso" in the terminal panel which appears below the normal Dolphin panel.
A new 64.iso icon appeared on the desktop.
I clicked on it which opened k3b. This then allowed me to use my usual preferred way of burning ISO disks.
I am only writing this detail so that any future command line phobic user will be able to use Dolphin in this way way and cut and paste to do the job while staying within their comfort zone.
This terminal panel in Dolphin is one of my favorite features because I can do this kind of an operation and know that the result will end up in the right directory rather that some unknown location in the file system due to a typo on my part.
TerryH, Thanks for your response. Yes, I saw that k3b seems to have that capability and will try it out later to figure out exactly what syntax to use where in order to make it work as expected.
Thanks again guys. The solution to this problem was absolutely trivial in Linux with the help of my forum family.