He should figure is total social security contributions adjusted for inflation and charge the government interest (reasonable APR) on all money collected and used for the past say 60 some odd years.