Anyone have thoughts on a decent home laser printer? Specifically, anyone have experience with Samsung laser printers? Whatever I get, it's gotta work with Linux/FreeBSD obviously. =) -ED