Probably, I have missed making an important note on how to correctly convert PDF’s to easily OCR-recognizable TIF’s.
In addition to setting MS Image Writer to 300 DPI one should also tweak Adobe printing settings too. Namely,
(i) go to File->Print in Adobe main menu,
(ii) click “Advanced” button,
(iii) check “Print As Image” box, select “300 dpi”, and press OK
Most likely, the TIF file printed out with these setting should not pose any major difficulty even for non-professional OCR.