Thank you dmertz, Schedule 1 line 25 (and the supporting 8889) is where we need to offset the taxable distribution.
When entering HSA contributions in Turbo Tax it says "don't include contributions from IRAs" so we were uncertain where to enter that offset, but that's misleading - you do need to enter it there as a "personally made contribution". Thanks for your patience and help!!
