I think you have found the biggest issue with a CMYK 4 colour printer.
Reds, Greys, Burgundy, Greens, etc. Just to name a few are a pain to hit.
To get a decent colour match on these I will set the profile on something like 3M Ij180 as this prints the maximum resolution of my machine...