Can anyone with experience in HP Elitebook laptops recommend which Thinkpad models I should look at? I like the idea of a Ryzen processor and I prefer ports/power over portability/pose.