David:
Aminet's main page is at
http://aminet.net/ and if you type a few keywords into the search box in the top right, you should be able to find what you need... You can
download ADF2Disk here, but it needs to be on a working amiga to use it.
Read
this thread for more info on converting ADF files to real Amiga disks. It tells the story of how I got
this to work for me.
The auction page you linked to says that you need Kickstart disks, which probably means that you also need Workbench disks too, but I may be wrong as I only just started learning about my A1000 not long ago and have no experience with any other model of Amiga... I have a spare set of Workbench 2.05 disks (with original Amiga labels) that I'd be willing to part with, if you need them. I know they'll partially (as far as Amiga DOS) boot my A1000 under Kickstart 1.3, but have no idea of their completeness... I also have Workbench 1.3 disks (with original Amiga labels) and a non-original Kickstart 1.3 disk.
Read this post for more details about which disks I have. If you're interested in any of this, e-mail me at
mkingsmill@yahoo.com?subject=Amiga disks, and we'll work something out...
Matt K.