Yeah, it really sucks for him. I hope for his sake it is covered. Wonder what happened?
I heard that LC is nothing but trouble. It would be easy to tell if it were a half shaft as it would be loose. As for the output shaft, you could pick that out easy too as the car would not move at all, just run up the RPM...