Using a virtual printer is a great idea.

I did a search for "pdf creator" and came up with more than one program. Do you have a link to the one you are referring to by any chance?

Thanks