Laser printer recommendations?

This inkjet printer is irritating me. It probably hasn’t been used for a year and the print heads are all clogged up. I’ll be doing a lot of printing over the next few weeks, so I would get something new provided it didn’t require too much time/effort.

Anyone have recommendations for a cheap (< $AU400) B&W laser printer that works well under Linux? Shopbot was a good starting point, but doesn’t give much user experience. I was thinking of a Samsung.

Update: I think that I’ll get the Samsung ML-2250.

Update: I just picked up a Brother HL-2040 from Officeworks for $AU149. I was there to get some folders and it was cheap. They mentioned Linux support on the data sheet; I’ll find out I guess.