My print shop has sent me four profiles to use. Two different printers, each with two different paper types. Three of the files are .ICM and one is .ICC. A quick web search says they are interchangeable. PS only sees the .ICC file. Do I simply rename the others to ICC to use them for softproofing or something else?