Is “Tuxedo” a brand applied to whitelabel laptops? If so, they may have no control over hardware issues, and you might be able to get the same laptop at a better price / with better support elsewhere.