I like that these are all low ball estimates due to the fact it only considers Mandatory(65) retirements.

I wonder what the average age of actual retirement is? (due to medical, personal situation, etc)