User-Tokens: Erkennungsprobleme bei True-Type-Fonts im Dokument

Ich habe bei einem Kunden ein spannendes Problem. Der Kunde setzt den PDFCreator Business 3.5.1 ein. Zusätzlich hat er den neuesten PDF Creator Server installiert, beide zeigen die gleichen Phänomene.

Ich arbeite mit User-Tokens, die solange korrekt erkannt werden, bis sich im Dokument ein True-Type-Font befindet. (d.h. das ältere Format, nicht das neuere) Dann werden die Tokens nicht mehr erkannt und stattdessen angedruckt.

Dabei verändere ich nicht den Font, mit dem die User-Tokens ausgedruckt werden, außerdem überdecken sich die beiden Ausgaben nicht.

Ist dieses Problem bekannt? Kann ich weitere Informationen zur Verfügung stellen? Gibt es einen System-Font, mit dem ich die User-Tokens ausgeben könnte, damit es zuverlässig klappt?

Getestet habe ich mit verschiedenen TrueType-Fonts, z.B. auch diesem hier:
grafik