According to a press release by the Texas Lottery, a Round Rock resident did just that ... The game boasts a total prize pool exceeding $709.9 million, with overall odds of winning any prize ...