Is it bigger than a Xerox DocuColor 3535?