Yes, I have experienced the same problem with an SC P600. I print almost exclusively with PK on semi-gloss type paper, and switching to MK was a costly and time-consuming error.
Seems really like a huge design oversight from my POV, as it must be fairly common for people to use predominantly one type of paper for their work.