Actually, the print house I use most of the time recommends only sending RGB-files as the final CMYK conversion takes place *inside* the printer and as long as the operators manually tell the printer what RGB color profile were used to create the file, it should turn out fine. The profile doesn't need to be embedded as such as long as there are no embedded images with different profiles in one file.