I am deciding between the above two printers. I will mostly be using linux, though windows and mac users might be thrown in there as well. I planned to use the ethernet port for the connection. I was hoping some of you could tell me how well either one functions with linux drivers (I'm guessing the other 2 OSs will work fine). Thanks in advance.