Kopfschmerz nach Pooltagen

Sehr geehrter Herr Dr. Busse, unsere Tochter, 10 Jahre ist gestern aus dem Urlaub mit Oma/Opa nach Hause gekommen. Sie hat seit gestern früh Kopfschmerzen. Gestern mal mehr/mal weniger. Früh wollte sie nichts essen/trinken, am Nachmittag waren sie dann nach der Heimfahrt wieder zu Hause und sie hat dann richtig gegessen und auch normal getrunken. Kopfschmerz schwankend. Gegen Abend dann Temperatur 38,6 Grad. Ich habe Ibuprofen Saft gegeben, Fieber seit dem weg. Kopfschmerz heute früh auch weg. Sie sagte, sie fühlt sich maddlig und hat leichte Schmerzen beim Schlucken. Hals nicht rot. In der Nacht waren Schnarchgeräusche. Ich bin davon ausgegangen, dass eine Erkältung kommt. Oma hat auch berichtet, dass sie im Urlaub abends lange auf waren, wenig Schlaf. Nun hat sie den Tag auf dem Sofa verbracht. Kein Fieber. Sie fühlt sich k.o., schlapp, leichte Schmerzen beim Schlucken, Nase eine Seite leicht verschnupft, etwas Kopfweh. Nun ist mir aber ein Gedanke gekommen, der mir Sorge macht. Sie war viel in den Hotel-Pools, incl. tauchen und beim Spaß mit anderen Kindern auch Wasser geschluckt und in Nase. Kann das eine Infektion auslösen, die gefährlich ist, so dass wir dringend zum Arzt sollten? Oder können wir warten. Kinder- und Hausarzt im Urlaub. Ich danke für Ihre Einschätzung. Alex