Yes, he was retired prior to age 65 and we paid medical through the company plan as part of his retirement package. It is definitely an HSA not FSA
