that sounds okay.
I have had nothing but great experiences with the latest offerings from Samsung laser printers.
There is another model (escapes my mind atm) 1580 or something, costs around $299-$350 and although alittle larger. offers better quality, better longevity and all that other stuff.
One thing I have found is that the more you spend now, the less you spend later with lasers.