I guess if they are not smart enough and do double it would my simplest option be to
Pay the extra $1500 or so in tax to stop the penalty and interest and then file an amended return to get it back?
