Does anybody here have an experience using Samsung SCX 4200 laser printer with Linux. It is supposed to be Linux supported printer and Samsund site has a Unified (what does it mean?) driver for Linux...