Any update on what happened to him and if he's ok? Didn't notice during the game that he came out but heard he was injured in the post game report.