There's no way to find out. He will have to mail it this year and let the IRS sort it out. Someone else may have accidentally typed his ssn by mistake.
