I work in a small printing house. When we get a pdf that has rgb-s, we convert it to CMYK with Adobe Acrobat. We use the "Convert colors" tool and ISO Coated v2 profiles.
We are very pleased with the conversion result. We have now acquired a Fiery XF workflow to print some high resolution...