10/5    What's the best bang-for-the-buck color laser printer for a small
        office (<10 people) environment?