My moms workplace sells their old/damaged thinkpads. I will visit her and maybe buy one to use as a replacement for my 2016 HP probook. What models are worth buying and what should I look out for?