For information only, cannot open Tuxedo Computers website.
tuxedo has nothing to-do with Ubuntu Budgie. Suggest ping them on whatever their twitter address is.