I don't OCR, I buy the books in electronic form. I convert them to both text and PDF files. I grep to find the book(s) that have what I'm looking for, and search individual books using the PDF reader.