Thank you! I believe the correct answer is to enter the $7500 as removed by the due date.
It would be very nice to have confirmation of that by an experienced person.
I have written what I though was clear to understand technical documentation that was less so to someone without a background in my field. In this case I'm the person not experienced in a unique tax situation (for me) and the IRS is a little fussy about getting it right.
