If he uses NTFS as opposed to FAT32, he can't simply boot and type format,
he'd have to first go to FDISK, delete the non-dos partition, create a new
partition, exit, reboot and format. If he doesn't do that, when he boots
and tries the format command it will be unrecognized.
Second, if he chooses to use NTFS, there's no point in using a 9x boot
floppy as he'll just have to format again during setup.
Finally, 9x tools should not be used with XP, your experience
notwithstanding.