My last machine was a Thinkpad, and I never got it to work nearly as well. Standby mostly didn't work and when docking it, external screens would be arranged incorrectly unless I rebooted. USB ports also did not activate when docked, so I had a script for resetting the USB devices. Sometimes a new kernel version would come along and cause it to start freezing.

I did check out other laptops before buying the tuxedo (t14s g6 amd, zenbook s14), but according to the information available at the time, those machines had lots of issues. They were also more expensive.

Therefore I'm very curious about which laptop that you think is both better and cheaper than tuxedo, and has full hardware support out of the box?