Got one. Works great. Whether it’s worth the money is yours to decide. Forget their distro (Tuxedo OS or whatever they call it), it works fine with vanilla Ubuntu and probably any other distro of your choice. Just download the ISO from the usual site and install from scratch.