That worked. Thanks!
Well, actually, I gave it a few taps before applying power and it booted up fine.
And now I find my original quandary with the file . . . It's a 32MB file. There's a compressed 10MB version of it, but, if I recall, I'm not sure it's complete as I seem to recall StuffIt choking on it towards the end or something. In either event, 32MB or 10MB, that's too large for a floppy disk. Many years ago, I tried copying the file over the network, but that never worked. I have no functional SCSI Zip drives. USB is not an option.