Goodness! I hope he is ok! I, too, would do a check, just in case.