CJ, can I generalize your answer to all passive constructions like
He could have been trampled/killed/run over/shot/kicked.
He could have got trampled/killed/run over/shot/kicked.
He could have gotten trampled/killed/run over/shot/kicked.
No significant difference except that with gotten...