EFI drives it as a 12 color device. You have the option of treating it as a CMYK device however this means that none of the RGB inks are used, and I believe your screening options are also limited. It is also a bit tricky because the RIP has to work in conjunction with the Media Presets selected in the printer.
Julian