弟弟上大学了，预算4000左右的轻薄本，目前看中了二手的ThinkPad，但是型号玲琅满目完全不知道哪一款好一些。想请问这个价格咸鱼/淘宝 二手店哪些型号会更加适合，或者有没有其他二手更好的选项。