Well, I though we were finished. After the 2/25 update, we switched to the convential "snap traps". And promptly caught another 2 mice (total removed vermin = 7). Then nothing for the next 3 days.
I was thinking we were done, but then we found a sprung and de-baited trap yeasterday. So we're back in business. Sadly.
The snap-traps seem to have a lower catch ratio, but they cost a fraction of the others. So we'll keep working at it.