Fortunately, I was wrong, and don't want to discourage anyone from trying to get the files.

For some reason, both the default BitTorrent client and Azureus weren't finding the seeders, only a few leechers with partial files. It was suggested to me that I try uTorrent, and indeed it instantly found the seeders ... three of them online as I type this, with a download time of about two and a half hours.