Does anyone have any recommendations for a light-duty color laser for use with Linux? Speed is not very important, quality is somewhat important ( will be printing some sales brochures ), but most important is reliability and ease of integration with an Ubuntu workstation. Thanks