Where does the 250 million number come from? Also, did they move the date on red giant state up from when I was a kid?? I thought we had 2-3 billion before then.