Home Mobiles Is asus 1201n better than the HP mini 311?