Tak tak, PDF tisk řeší Distiller. Jsou to normální ovladače postscriptové tiskárny s přesměrováním do příslušné aplikace. Jak je ale to přesměrování v originále nastaveno, to nevím.
Každopádně ovladače Distilleru se dají sehnat samostatně a free, spolu s ghostscriptem a redmonem si můžeš Distiller vyrobit sám a zadarmo.

EDIT - howto např. zde.