If you have Adobe Acrobat (full version - not the Reader), you can go into the Page Setup for a view ("Format->View Properties->Page Setup") and set the default printer to "Adobe PDF". Then, when the user prints the view, it prompts them to save it as a PDF. That's what we're doing, at least...