You could always request to receive his tax transcripts online or in the mail from the IRS.
https://www.irs.gov/individuals/get-transcript
The transcript will give you the information needed from his 2017 return.
View solution in original post
