Anyone have thoughts on a color laser printer? I’ve got a high schooler with the occasional need to print in color, but I’m not sure if it’s worth getting a color laser or just going somewhere to print for those odd jobs, and just getting a regular laser printer.