I'm thinking of picking up one of these puppies, specifically the AS4810T-8480 model. It is for basic travel use (web browsing, light bushiness and watching movies). Specifically, will the Core 2 Solo 1.4 Ghz be able to run compressed HD movies (mkv etc.) smoothly?