He needs to contact the NJ Division of Pensions. They have a letter with the pension information including total contributions.
