OK, I went to the homepage of that site, and from there navigated my way to the correct IOS37 wad. Installed ciosx rev19 using that wad as a base, and it worked perfectly.
My USB drive is still in the wrong port though. Oh well, at least it's working.