The fact that he only participated in the 401(k) plan for 3 months is irrelevant, so there is no need for TurboTax to know that. Being covered by a workplace retirement plan at any time during the year makes him covered for the year.
