You can also get Adobe Acrobat (not Acrobat Reader), and it'll provide a printer that prints to PDF. Nice, and easier, but expensive.