Deductions & credits

A Form 5498 is an informational form only and is not entered on a tax return.  Did he receive a Form 1099-SA?