Wenn die Maus ein Haarnetz getragen hat, hat alles seine Richtigkeit ;)
Ne, Scherz beiseite. Befall von Schädlingen ist ein ernstes Thema, also wenn es dir wichtig ist, würde ich erst einmal zu dem Betreiber gehen und ihn darauf hinweisen. Man muss ja nicht immer gleich petzen. Und der wird dann seine Mitarbeiter schon ordentlich rundmachen. Wenn du das Gefühl hast, dass sich nix ändert, kannst du immer noch zum Gesundheitsamt gehen.