Dimenticavo: se alla fine deciderai di comprare quell'HP (fa gola, eh?
), ho visto che su amazon.de lo vendono a 339,99 euro (venduto direttamente da amazon), che è molto meno del prezzo "italiano"
Se un domani ti interessasse usarlo anche come TV, puoi comprare un decoder DVB-T formato pendrive USB da collegare al pc. Quelli della Avermedia sono abbastanza buoni, e ne trovi alcuni modelli a 25-30 euro (forse anche su amazon).