hmm, I didn't read a post, where someone was saying, that he was servicing the gun. In my previous post, my comment was clearly a question and my opinion to this - in the sense of "in case..."
If the official reports you are referring to is the report in the beginning of the thread, then yes, it stands by itself, and leaves us all very much uninformed, including you. So, should we therefore stop to write in this forum?
Obviously, an error occurred, otherwise the gun wouldn't have fired. What exactly the error is, we cannot know, we're not (yet?) told (but I think it is a safe assumption that it was caused by some mismanipulation of the weapon).
Obviously, too, everyone on board was very lucky...