I'll definitely add Thinkpad as my options. One of the worries I have is that you're completely reliant on a company to provide support. They can drop the ball anytime (not that I expect them to, but it's good to be aware of it).
But to me it looks like you just want a laptop that does it's job reliably and have a limmited budget.
Wouldn't recommend Dells or Frameworks. You don't need an Apple for college work either.
I bought a used t540p 5 years ago and it's been the crappiest laptop I've ever used. Terrible display with about 15deg of visibility. Flimsy plastic parts that broke in multiple places during replacements. Display randomly got damaged while in my bag, keys constantly falling off, even after fully replacing the kb when keys just stopped functioning, worst trackpad ever, RAM just started failing.
Honestly the framework is practically macbook-quality in comparison to a used thinkpad IME but maybe I'm looking at the wrong series or era?