I would get a Thinkpad, either used or new, with that budget. Generally all the hardware will work out of the box, with the possible exception of the fingerprint reader if it exists. RAM and SSD should be replaceable, so if you purchase new just do the upgrade yourself to save some bucks.