From my back and forth with him, it sounds like turbo tax for Massachusetts only supports entry of the 1095-HC and wouldn't let him do electronic submission of the return.
thanks for your help!!!
