except then they'll take it back out and he'll have to pay.

that happened to my friend once. she got a $7000 deposit and a few days later the bank took it back out since it was a mistake. if she had taken it out, she would have had to pay it all back (which would have been bad if she spent it).

i would suggest calling the bank and telling them something's wrong.