I appreciate the detailed response!
From what you wrote, I'm leaning towards the HSA distribution route, because I feel that would be the cleanest way to report it.
If the total amount of the distribution was much larger, I would consider the trouble to roll it back in, even if it may take a few back and forth with the IRS.
Thanks!
