It was through payroll.
this might seem like a dumb question but if I leave it as 3k on the form 8889, how will the irs know I withdrew the excess and not make me pay a penalty?
