Wenn es "ein paar" Euro mehr sein dürfen, kann er sich mal das
Nexos Osiris ansehen.
Aber eigentlich reicht doch sicher auch dieses
ASUS G70SG.
Ich persönlich halte allerdings mehr von borstis Tipp (Desktop). Man könnte sich ja ein ausgefallenes, kleines (tragbares) Gehäuse aussuchen und selber was zusammenstellen oder sich mal bei barebones umsehen.