They don't play around with their lottery tickets here in Texas.