Update:

I took the gun to a local shop during my lunch break and he agreed that we should replace trigger, but he didn't have one in stock. I'm working on ordering it now. Midway price was best, but their website seems to be having technical problems.

Any opinions on Triggertech vs Timney?

Gunsmith did say the ex trigger was dirty and that could have contributed to problem, combined with the moisture and unusual cold yesterday (cold by MS standards grin). He cleaned and lubed it well and refused to charge me anything. We tried about 25 times to recreate problem after he reassembled it, but of course it wouldn't fire.

Either way I'm going to replace it, asap.