Not a big deal.
Install PDF Creator (freeware) and Windows can convert anything to a PDF.
Can it do it in batch on a headless server?