Das nx7400 hat im gegensatz zum nx7300 einen Docking-Anschluss, den hat das 6715s aber auch nicht. Soweit ich weiß sind die beiden nx aber ansonsten weitgehend identisch. Das nx7400 wurde vor ein paar Wochen auch in der ct getestet.
Großer Vorteil der HP Geräte ist die wohl recht gute Verarbeitung der Compaq Serie und die Möglichkeit sie, zusätzlich zum Hauptakku, mit einem Unterschnallakku zu bestücken. Willst Du diesen nicht verwenden (kostet 120 od 170€ je nach größe) spricht wohl nichts gegen IBM/Lenovo als Alternative, die sind auch sehr gut verarbeitet. Allerdings scheinst Du Dich mit HP angefreundet zu haben und da Du wohl keinen Wert auf eine Spieletaugliche Grafik legst spricht wohl auch nichts dagegen. Persönliche Vorlieben sind ja bei so einem Kauf auch recht wichtig, schließlich soll man sich ja nicht jedes mal beim einschalten denken, hätt ich nur das Andere genommen...
Die Entscheidung zwischen nx7300 und 6715s ist nicht einfach, ich würde allerdings wohl zum 6715s tendieren - aktuelles Modell, das nx wird bald durch das 6710s ersetzt, und die größere Festplatte sprechen dafür, die restliche Ausstattung ist vergleichbar.
Gruß Sebastian