I've been having a great time with my HP Elitebook 845 G9 which I got on sale for $950. It's crazy expensive now due to inflation but you might be able to snag it on sale somewhere. Mine came with an AMD Ryzen 6800U with 32GB of RAM and I manually replaced the SSD with a cheap 1TB one I found on Amazon. There's a FreeDOS option that allows you save $200 bucks by not buying a Windows license.
I find that the key components to check for Linux compatibility are the Wifi, webcam, and sound modules. For wifi, anything with an Intel or Atheros chip is usually supported very well