Tax help for military filers

Yes, Yes he did I believe. HI SDI Tax is on his HI W-2 on box 14