Foreign investors willingly paid a $25M+ idiot tax into the coffers of Texas. Even though they received a larger payout than they paid in, that payout was generated by the prior rounds of idiot taxpayers and organized gamblers, not from Texas coffers. The odds of any actual Texan buying a jackpot winning lottery ticket is, for all intents and purposes, zero. You're not going to win. Yet, someone willingly pays taxes to your state. Still winning.