If nothing better comes up, why not do it in two shots, 7,000 records each?
What happens if you print 7,000, then print 5,072 and check the 'Append to existing file' option?
What happens if you print them to a pdf file using another pdf writer, such as doPDF?
Can you explain in greater detail what kind of PDF you want to produce here? I'm trying to figure out the purpose behind producing a PDF of all the records in your database.
How would you use such a PDF after you produced it?