At a USCG range there was one old 1911 .45 with a bad sear that would empty the entire magazine on the first trigger pull. In about one second. The guy who discovered it needless to say got a big surprise. Of course after that we each demanded a turn with it. Just to be sure.
I respect your thoroughness, and would have done the same under the circumstances.