LR 4.2 convert or embed color profiles?

Costco print services use Dry Creek Photo profiles.  They ask that files be converted to color profiles  in PS and say that embedded profiles will be ignored by their digital printers. I wonder if I can do this in LR4.2 without going to PS CS6.

In Lightroom 4.2, we can choose color profiles in the print module or in the export dialog.   Do you know whether specifying a color profile in these will result in a converting or embedding of those files?  

Thanks,

Bill Twieg

Windows 7