After struggling with the non working Samsung 1710 usb laser printer under Linux, I went to the Samsung website and found a more recent driver, downloaded and installed it. It works -- what a relief. -- Pete