Recently I bought a used Thinkpad T470S 16gb for 350 EUR for some Kernel development stuff and it turned out perfect. The only downside that I can come up is that it doesn’t support my 4K monitor.

I’m suggesting used Thinkpad or Tuxedo.