The way Turbo Tax seems to handle this (on Form 1040) is the 529 Gain gets added to income on line 21. Education credits gets added back on line 50 and line 68. In the end the savings is closer to about $1k and effective tax rate is negative--he gets back more than he paid in taxes for year because of the credit "payment" on line 68. Seems odd.
