But he got it back, right? P(recovery) = 0 is a whole different ball game than flip a coin and maybe the bank will relent