looking to buy lenovo ideapad 530 s or the thinkbook 13s? how are lenovo aftersales services like. Also anyone using the thinkbook 13s? Please advice