Yes. In fact, using a printer’s ICC profile is preferable for producing optimum results. If you’re not sure whether your printer uses a specific profile, I’d be happy to speak directly to the printer’s production department.
Some printers are unwilling to give out their ICC profiles because they’re considered proprietary resources. Without a specific printer profile, I typically save files with their existing profiles unless otherwise specified.