I was finally forced to buy a new machine with a new OS. Anyone have any idea what printer driver I can use for keep my trusty old Samsung 1710 working? The original driver is too old to even be allowed to be installed onto this machine. Please tell me how I can keep this great 20+ year old...