Sometimes my reds are too red, but I think it's dependent on your RAW converter. Or maybe you can compensate for it through your RAW converter. See this
post, and
this one. Things were fine with my K-3 when using Lightroom, but I had problems when I was transitioning to RawTherapee. Now that I have a lot more experience with RT it's not a problem, I think I have a set of pp3 files (i.e. basically context-dependent presets for things like ISO and lens) that the reds look fine with.
For a while I would explicitly back off the reds in some files, but I haven't had to do that in quite a while. I think it's just a better combination of lens profiles, camera profiles, and pp3 files.