A late comment to this thread...
> So, how can I know when the PDF really contains Pantone colors? I think this question best would be answered by: Create separations. When creating separations, each colour in the file will be converted to a "black/white layer". The process colour layers will be named Cyan, Magenta, Yellow and Black, and your Pantone layer will be named with the name you gave it. /Peter
