This machine doesn't have /dev/diskette present. I'm not sure how to make it appear. Some internet search suggests using "devfsadm -v" but that is hitting some timeouts with ide disks. Eventually it worked and created the device file! Now let's see if I can format a floppy...