‎I wrote:
>they offer cheap low-end laptops (well, having 4GB of RAM
is low-end these days).

They have Linux pre-installed, forgot to mention.

I've seen maybe a couple only high-end laptops with
Linux, and they are made by Dell.

So, looking through the market, chances are, you'll
see galore, but mostly cheap and too slow to run Windows.‎