All the ones I saw in good condition on eBay were Intel's. I got a T420 with Core i7 to mitigate potential slowdowns from future CPU vulnerabilities. I've occasionally had to restart it from suspend/resume issues. Otherwise, it's been great.
One more thing: the function key and control key are swapped compared to most laptops. I didn't like that because I'm used to control being far left. duclare told me about a BIOS setting that swaps them back. Everything's fine now. :)
What were the recommended models?