Interesting. What's the source of your information?
Local news accounts of the day. The gun was jammed for no apparent reason. Haven’t heard much about it since, so it could have been false. But accounts when this first broke were the gun had indeed jammed.