Red Hat 7.3 is up and running. Thanks, Terry. Tried to upgrade on the dual boot machine and failed with a message suggesting out of disk space. So did a clean install of Linux, and both systems boot normally from GRUB. Now to do quite a bit of configuring. Choppy