I can provide an update to my mouse problem. I bought a couple of traps and, on the advice of various people, baited them with Bounty bar. In time, the bait fell off and then disappeared. I re-baited and waited. A couple of nights ago, I heard a click and some scuffling. I was sleepy and forgot about it until this morning, when under the sprung trap I discovered a dead mouse stuck to the floor with dried blood.
Bounty is a fatal taste in this house, my little friend.