Money Stuff: There Was a Texas Lottery Arbitrage