Would it be possible for you to pop into #archiveteam on EFNet? I'm not sure where to start with getting the PDFs - this may be a good project for http://archiveteam.org/index.php?title=PDF_2016 but they'd need a (large) list of PDFs.