プールのレジオネラ菌について

10歳未満/男性 - 2024/08/29

25日に主人と12歳、9歳の子供が室内プールに行きました。今日、その施設のプールに基準値以上のレジオネラ菌が検出されて利用停止になったとのことです。まさに検出されたというプールで遊んでいたようです。25日のプールの帰りに9歳の子供が「頭が痛い」と言い、帰ってきても少しの間（1時間程）痛かったようです。レジオネラ菌感染した場合、発症まで2〜10日とありますが、プールの直後となるとレジオネラ菌の影響ではないのでしょうか？また、特にこれ以上の症状がなければ市に連絡して検査という必要もないのでしょうか。