He wouldn’t have a pension unless he did 20+ or maybe medically discharged after 10+ but not likely.
And the pension isn’t all that great, just FYI, probably 30kish annually. Lol unless he got 100% disability then it’s basically whatever his active duty pay was but I doubt his knees would be...