I set up an OBSD laptop, an ancient Dell Inspiron 8000. Based on the experience, I'd like to get a lightweight, cheap, relatively modern laptop. Any recommendations? Cheapest thinkpad I can find?