I have seen the driver here, but that is a black/white laser printer.
So the question here is: does it support color?
I'm getting the same printer, and hope, that I can find a solution to this. Another special feature is, that this printer has a device so that the sheets turn. Will this be supported? As soon as I have this printer, I'll try to find out as much as possible. Maybe, someone can give some supporting help here?