I always liked PDF Creator because it has a few options to pause the PDF creation, print "offline" kind of, then later combine multiple prints into a single PDF. The others may have that, too, I don't know. And it may not matter for this application, but you may find other uses for it.