Statistics for How Much Water Is in Texas?