abgepumte Milch abkochen

Hallo zusammen,
bin von den April-Mamas und zum ersten Mal hier im Forum.
Hab ne dringende Frage: Meine Maus ist jetzt 7 Wochen alt und bekommt immer von mir abgepumpte Milch zu trinken. Jetzt hat sie seit knapp einer Woche extreme Probleme mit Spucken. (Vorher hat sie nie gespuckt) wir waren auch letztes Wochenende stationär in der Klinik, wo Rota-Viren nachgewiesen wurden. Während des Klinik-Aufenthalts hat sie nicht ein Mal gespuckt. Die haben dort meine Milch abgekocht (ist wohl Vorschrift dort) sagten mir aber, dass ich das zu Hause nicht machen müsste. Nun ist bis heute Abend alles gut gegangen, doch seit 21 Uhr heute spuckt sie wieder alles raus. Meine Frage ist jetzt: ist es nicht doch besser, wenn ich meine Milch abkoche? Irgendwie ist es doch schon komisch, dass es jetzt wieder los geht, aber als sie abgekochte Milch bekommen hat, keine Probleme hatte. Was sagt ihr dazu?danke für eure Antworten...