You know, Tex, he probably doesn't have to work until he's 67. I don't think he needs his full social security.