Empfehlungen für Farbdrucker gesucht

Da ich für mein Studium desöfteren mal Farbausdrucke auf DIN A3 benötige und nicht immer in den Copy-Shop gehen will suche ich einen Farb(laser)drucker für Zuhause.
Das ganze sollte nicht mehr als 400€ kosten, gerne auch gebraucht.
Hier noch die Mindestanforderungen:

- Gute Druckqualität
- DIN A3
- Toner/Tine sollte nicht allzu Teuer sein

Hat da jemand Erfahrungen bzw. Empfehlungen?

Grüeß

Heute hab ich mich mal in der Tintenspritzerfraktion umgesehen und bin auf diese beiden gestoßen:

HP Business Inkjet 2800DT(Günstigstes Angebot: 399€)
HP Deskjet 9800 D(Günstigstes Angebot: 420€)

Hat jemand eine Empefhlung oder Erfahrung mit einem dieser oder anderen Tintenstrahl oder Farblaserdruckern?