You find the 1095-A that he's named on, because the IRS has a copy of one that he's named on.

You can file the return on paper, but he's going to get a notice (and his refund will be held until he resolves the notice), so that doesn't really resolve things.