From the relatively small quantity, we'd luckily spotted the problem early. We bought a few traps and had caught the first mouse within an hour, and five more over the next few days. They were common house mice (Mus musculus).
One thing I couldn't figure out was how they were getting into the upstairs bathroom when there were no signs of them anywhere at ground level.