RGBSpotter
RGBSpotter is an application which allows you to configure Adobe Acrobat Distiller to overcome the unfortunate fact that with the Windows version of Adobe FrameMaker, all FrameMaker objects are rendered in RGB colorspace.
RGBSpotter allows you to create a prologue.ps file which can be used by Distiller to convert RGB colors into named spot colors resulting in a true CMYK and/or Spot Color PDF with no RGB colors.