hier bei notebooksbilliger findest du auch die dockingstation ...
http://www.notebooksbilliger.de/product_info.php/hp_nx7400_rh387ea?refcampaign_id=45c48cce2e2d7fbdea1afc51c7c6ad26
ich würd ja das 7400 nehmen, da es etwas leichter ist, mehr festplatte bietet und breitbild-display hat, ist aber natürlich geschmackssache, ob man lieber 16:10 oder 4:3 beim display mag ... am besten du schaust dir den unterschied mal beim elektrohändler um die ecke an