since his average income was probably little more than half of the $ 25,000 you suggested , in actuality his contributions probably wouldve been less than $ 75,000 so they would have paid for a little over seven years of retirement pension .