That’s a big assumption he is getting a pension. They are all but completely gone in the US. My father who just retired was earning around $150k a year. His social security from the government is around $2000 a month, which is a lot for social security. He relies on his investments and 401k for income so he is lucky.