That doesnt mean the average person can just use Linux, you cant even buy a laptop with Linux from a standard store that people typically look for laptops in (like Amazon or best buy). If you have to convince people to go to a separate website, manually enter their card details, and pay a shipping fee of $116 along with import fees (yes this is a bit more specific to Tuxedo but my point stands). Regardless of which Linux brand you buy it typically takes 3-5 weeks for shipping. Meanwhile across the board the base price of Linux laptops are always higher than Windows devices (some OEMs like Lenovo hide this by giving a $100 discount but when you consider that Linux is generally only an option for custom orders the total cost is still higher than a non custom standard windows laptop).