I would've withdrawn as much as possible before they found out. He should've taken advantage of the situation!
They probs would've just reversed it. It takes 3-5 days for money to transfer to your bank and I'm sure it wouldn't take them long to realize a mistake like that.