Need a new laser printer

[John Feole]

I need a new laser printer as my trusty old LJ2P has decided to stop 
working..I have had no issues whatsoever getting this thing to work with 
a few different flavors of Linux.

Any suggestion on a good replacement?  I want a personal laser 
basically, below $400 preferably..

How are the Samsung ml-1710 with Linux?  or should I stick with HP?

Thanks in advance,
JFeole