Thanks @DawnC! Right; he is not using TurboTax forms. I just needed a second opinion because the fact that we need to wait for another version of the 8889 form is new to me. I didn't know that it was different from the form that is already available on the IRS website. Thanks for your help and any insight you can provide!
