Спазмы в голове у ребенка 7 лет

Ребенок 7 лет, стал почти каждый день жаловаться на 1-3 секундные спазмы в голове. Проходят сами, быстро. Жалуется 1-2 раза в день. Началось это во время отпуска, он был активным - много ходили, катались, уставали. + График сна был сдвинут на час позже. Сейчас уже дома, живем как обычно. Но на спазмы жалуется день/через день. Сам по себе ребенок активный, рвоты/тошноты нет. Общее самочувствие хорошее. Были в клинике на приеме: по диагнозу все в порядке, функциональные боли, должны пройти сами от сбоя сна и напряжения в отпуске. Рекомендации — строго соблюдать режим сна. Заключение прилагаю Хочу получить еще мнение. Может попить каике-то витамины, магний? что-то еще?