12-22-2008, 02:34 AM
Saving PDFs from FireFox in that manner gets the file name from the HTML document's tag. All you need is a Greasmonkey script or a bookmarklet that changes the title on the fly. I'm guessing the part # is part of the url's query string or resides in a javascript-accessible node within the document. It's probably trivial to do.