Hi Mark,

>Does anybody know of a tool that can run in automated mode and convert an HTML file to PDF? This is something I would use on a web server to create a PDF on demand from a dynamically generated web page. You know the routine: User clicks "PDF" and a PDF version of the web page being viewed is made available for download by the user. Thank you.

Check PDF Factory (www.fineprint.com) and see also PDF Factory Developer Kit (http://www.fineprint.com/developers/index.html). Maybe they be useful for you.
Good luck!