Sind sie auch, und solange du deinen Drucker nicht änderst ...es gibt keine Updates ... ich nutze meinen Druckertreiber jetzt schon mehrere Jahre. Ohne Probleme. Es gibt dort auch ein sehr gutes und kompetentes deutsches Forum, sollte es doch mal klemmen. Auf Deutsch, einmal bezahlt, jahrelang Ruhe.
Ich habe mal nach den HP Laserjet Pro 4002dn gesucht, aber nichts gefunden. Anscheinend werden nur Treiber für etwas aufwendigere Geräte (Color) geschrieben.
Ich habe mal eine Anfrage gestellt. Mal seh'n.