I doubt Texaco would be pleased.
US would become bluer if we do that, and Texas used to be Mexican.
Trump would only net a loss of about 0.8% (600k) from his national margin if Texas were ceded back to Mexico, so it's actually a pretty minor adjustment in terms of the popular vote.
Nixing TX also wouldn't have flipped the EV in 2016 nor any other historic GOP victory except Dubya's two wins
In every presidential election from 1992 to 2016 Texas provided the GOP candidate's biggest raw vote margin of any state; in 2020, it was Tennessee. Given the wide difference in the two states' populations, that should ideally put to bed the Dubya-era conception of Texas as the beating heart of the party...