Is there a search engine just for PDF files?

Yes there are engines that search just for pdf files. Many allow you to justify your search so you can look for more than pdf fiels. But, yes there are engines you can search just for those files.