I haven't seen anything that says how much money that would be for them so, like you, at this time, I think the $7B figure is suspect. It could be less, it could be more. Either way, it would not be taxpayer money.
With all the demands both sides say they want, I don't believe an honest deal could ever be made to "return to the previous 2015 deal".
http://www.vox.com/22242208/iran-nuclear-deal-bien-haines-blinken-psaki |