Have a tuxedo machine with TuxedoOS at work. I needed an NVIDIA card for cuda so I had a few kinks to iron out (NVIDIA I stg…) but the tuxedo customer support was here with me through it all, treated me with respect at all times and forwarded all issues to NVIDIA immediately, and they got fixed soon after. Solid team, sleek machines, nice distro.