There is only a 1400_boot.gz file for the boot disk. If you have a 1.2MB boot disk (or even a 720K one) you can DD that to the disk in its compressed state. Bruce