But later on in the article he said that $10,000 was a lot higher than expected. I would think that if the overage was higher than they expected they would go through the PDFs that Turbotax/etc. generate and double check the math.

I do this even without weird tax situations because I want to understand what the website is submitting on my behalf.