Can also recommend Tuxedo in that regard. They're based in Germany but sell internationally.
... and if I had known what machines they were going to offer this summer, and that my travel plans for May and beyond were going to be completely cancelled, I'd probably not have bought a regular Windows laptop in March on which I had to set Linux up myself ...
Yeah, Tuxedo tends towards the higher end. I think their machines are probably worth it but that doesn't change anyone's budget :(
This is my personal Mastodon.