First, it was probably not a good idea to post “money” issues.  Second I was hasty in how much the money will be.  Not totally clear on the rules, I think it is more like 1.8% * salary * years worked.  So maybe about 30,000 a year, and I have no idea for how long.  Don’t listen to me, I don’t know what I am talking about!!  Now I need a job to retire and pay for TV!!