Retirement tax questions

Yes....the amount in those boxes is more than he took out.  Box 7 code is 1.