Not sure on that specific OKI; however, I have both a non-PS OKI Color Laser myself (C5200n) and a PS OKI Color Laser (C5400n) and from what I have used/tested both work very well on PS files; however, the color is of course better on the PS C5400n printer.
I have also tested the new HP 3500n (same price point as the C5200n) non-PS printer and it rendered horribly compared to the OKI C5200n with dramatically off colors...
Hope that helps a little bit.