I’d check local places like offerup. can get business laptops for cheap when places refresh. there are a few people around me selling 3-4 year old dells with i5/i7, nvme, etc. take a Linux USB and install it on site before you buy to test. they’re more than enough specwise for daily use or testing. often sub $300
so tired of people recommending thinkpads when there are much better options. the fact the control and alt key were swapped for years is enough to never get ibm or Lenovo.