We are in the process of upgrading our users to LION. But before doing so, since we're in publishing, we need to make sure we can print. Very important! And PLEASE, correct me if I am wrong but it doesn't look like printing to our DocuColor 242/252 with both the EFI Fiery EXP260 and the Splash RPX-ii is supported. IF NOT... is there a workaround? Or another recommendation of Xerox color printers? IF SO, where would we find the setup information?