Sono nella tua stessa barca
, a me hanno consigliato il + piccolo (1.25GHz) per via del fatto che ha l'HD + veloce (il 40GB va a 5400rpm contro i 4200rpm dell'80GB) che colma il gap del processore leggermente + lento...quindi credo che convenga risparmiare i 100€ ed investirli in RAM aggiuntiva (ce ne compri un banco da 1GB
)