That seems reasonable, but is there an option to say he had Marketplace insurance?
I'm assuming this is for state purposes, because there isn't a need to indicate that for federal purposes.
