I retired with 5.6 million miles, probably ballpark of 2.5 million actual, 2.5 million matching and .6 million credit card spend, etc. Nobody knows the actual breakout, including AA. Now I'm up to about 6.0 lifetime. Wonder what they'll do with that?