9歳の子ども、運動中に咳が出ましたが受診した方が良いでしょうか

10歳未満/女性 - 2024/12/25

9歳の子どものことで質問です。
喘息ではありませんがダニアレルギーとハウスダストアレルギーがあり、風邪を引いたときに気管支に症状が出ることがあるので、秋から薬を飲んでいます。

今日、習い事で結構動き回ったらしく途中で咳が出たと言っていました。
走りすぎて具合も悪くなったので途中で少し休憩し咳も続かなかった様で、帰宅後も出ていません。
こういう場合、病院で気管支の様子を診てもらった方が良いでしょうか？
かかりつけ医は明日休みなので、今年に入って二度ほど診てもらったことのある先生のところに行くことになりそうですが。
ご意見よろしくお願いします。
ちなみに飲んでいる薬は、
モンテルカストチュアブル錠5mg、ムコダイン錠250mg、フェキソフェナジン塩酸塩錠30mg、クレンブテロール錠10マイクログラム、アンブロキソール塩酸塩
錠15mgです。