PDF Export Converters

I was having a look at the export converters options, specifically for PDF. I see I have the option of picking Microsoft Office, or Scrivener to export a PDF.

I have Acrobat X Pro and Distiller X - so, you know, shouldn’t that show up as a potential PDF export option? I mean, my version of Office is 2000, which I didn’t think even had a PDF exporter. In any case, I’d imagine the Adobe product would do a better job.

So far I’ve never actually needed to export a PDF from Scrivener, so I’m just curious really.

Oh, and while we’re at it, is Scrivener the source of this VeryPDF Postscript Writer I see in my list of printers now?