Printing from Flash on a Mac: why so blue?

It seems that there's a bug on the Mac when printing via PrintJob from the Flash IDE on OS X: your printouts end up with a blue tint (at least that's what I'm getting when I print to PDF).

Others apparently have also run into this so I'm ruling out some weirdness with my setup (the workaround, according to this article, is to test your app from the browser).

My guess for the reason is that the Flash IDE is speaking ARGB and OS X is hearing RGBA.