Muss man. Wenn Du dem Link zum Wiki folgst, siehst, Du, dass Hautpilze sowohl für die Mäuse eine ernsthaft Erkrankung darstellen, als auch sehr leicht auf den Menschen übertragbar sind. Das heißt, es besteht auch für euch Halter eine Gefahr.
Bei Milben verhält sich´s ebenso - für die Mäuse eine fürchterliche Quelle von Juckreiz, und einige Arten sind sehr aggressiv, befallen auch Menschen und sind sehr aufwendig zu bekämpfen. Lumis Andeutung mit dem Kammerjäger war nicht übertrieben - diese aggressiven Arten müssen regelrecht ausgeräuchert werden.
Je früher man Gegenmaßnahmen ergreift, desto besser bekommen man solche Infektionen wieder in den Griff. Also - höchste Eisenbahn!