2.0opSys
Have him send you the 'install' disk. While it is theoritically possible to
install AmigaDOS with something like HDPrep (or whatever the name of the freely
distributable formatter is) it is not a suitable task for a first time Amiga
User.
-bill