Som altid, afhænger det helt af dit printbehov.
Hver maskine og mærke har sine fordele/ulemper. Og af de nævnte ville jeg holde mig til HP 3800dn.
Men skulle du kunne undvære lidt flere penge, er
http://www.edbpriser.dk/Listprices.asp?ID=168878 et rigtig godt bud også. Lexmark har den senere tid været i front med laserteknologi.
Omvendt ved jeg ikke om der er en grund til at du har fravalgt Lexmark...
Men igen blandt de nævnte modeller, ville jeg holde mig til nogen man kender og stoler på.
Brother er kendt for enkelte mandagsmodeller, ligesom Xerox tidligere farvelasere ikke altid levede op til kravene.
OKI har jeg ikke selv kørt med siden de glade 150dpi dage for 15 år siden, og dengang var de populære, omend ikke særlig langtidsholdbare. Jeg ville dog næppe advare nogen mod at købe en OKI i dag, for selv om de primært er kendt for deres matrixprintere, er de bestemt også med fremme teknologisk.
Men slutteligt skal du altså gøre dig det klart, at printere i denne prisklasse fordrer et pænt forbrug - helst minimum 1000 sider/måned, og gerne højrere. Ellers vil det i det lange løb være billigere at vælge en printer i 5-6000,- kr´s klassen.