Neuer Farblaser Drucker - nur welchen?

Moin zusammen,

mein alter Farblaser hat dieses Wochenende seinen Geist aufgegeben. Deshalb muss jetzt schnell ein neuer her.

Nach etwas Recherche im Netz geflielen mir folgende OKI Drucker ganz gut:
C5750DN (32/22Seiten pro Min., Netzwerk, Duplex, PCL, 2000 Seiten Toner)
C5850DN (32/22Seiten pro Min., Netzwerk, Duplex, GDI, 6000 Seiten Toner)
C5950N (32/26Seiten pro Min., Netzwerk, PCL, 6000 Seiten Toner)

Generell brauche ich keine Duplexeinheit - wäre natürlich auch nicht schlecht, wenn man sie hätte.
Die "großen" Toner sind generell etwas günstiger, auf die einzelnen Seiten runtergerechnet.

Wie siehts mit den Emulationen (PCL, GDI usw.) aus? Ich drucke generell nur unter Windows. Tuts da auch ein GDI Drucker, oder sollte ich den Mehrpreis für einen PCL fähigen Drucker doch lieber zahlen? Welche Vorteile bietet mir PCL gegenüber GDI?

(der C5850DN hat z.B. nur GDI, dafür aber halt Duplex und ist genauso teuer, wie der C5950N mit PCL ohne Duplex).

Fragen über Fragen - vielleicht kann mir jemand dabei weiterhelfen? Oder gibt es sonst noch gute Farblaser bis ca. 500€, die günstig drucken (und ganz wichtig: auch Briefumschläge und Etiketten bedrucken).