Hope he didn't get injured. Infection is preety much the leading cause of death in turtles since the shell usually protects them from most attacks.