It looks like it was actually a $6250 withdrawal, hence the &1250 20%. If it was only $5000, the withholding tax would be only 10%. But if it was an in-kind withdrawal, where does the withholding tax come from? We're told the stock is only worth $5000.