I assume that any tax forms have his social security number. Whether he needs to file depends on how much he earned.
