Excellent! Many thanks to you as well as the earlier respondent. And apologies for doubting the accuracy of TurboTax.
Now comes the decision as to whether it is worth $900 to interact with the IRS. Time-wise, maybe not, but in principle, having had the very helpful assistance of board members, it would seem ungrateful not to.
I'll post an update after a final determination. Could take a while!
