First of all, I'm not sure this is the best community for this, so if you think there is a more suitable one, please inform me.

So I've been looking for manufacturers that sell computers with Linux out of the box and I remembered hearing about Tuxedo Computers. Some people seem to really like them, but I've also heard of some people complaining about them too.

And so I've come here to ask this community what are your experiences with this vendor? Is there somewhere else I should look? Thanks in advance.