Gun used by Tyler Robinson

Have they ever released a photo of the Rile used by Tyler Robinson? I recently inherited a Mauser from WWII, and I'm confident that the one he used was not that style, but I am curious as to how he carried it due to it's length. They don't seem to be easily dis-assembled. Was the stock cut down?