Hello, Anybody know what kind of support does Debian have for Samsung laser printer ML-3051nd? I am thinking of recommending this one for a small office of a friend's. Support in Linux is very important. I was also considering Brother HL-5250DN but it is not available anymore locally. thanks, ->HS