Have anyone used 5160? How is it? Some people think that laptop with P4 might be getting too hot after a while and it uses up the battery quick.