Czy dzieci pracowników należy wyrejestrować z ubezpieczenia zdrowotnego na okres wakacji

Zgłosiliśmy do ubezpieczenia zdrowotnego syna naszej pracownicy jako członka rodziny. W tym roku ukończył szkołę średnią i dostał się na studia. Ma 19 lat. Na okres wakacji wyjechał nad morze, gdzie od lipca br. będzie pracował w restauracji. Czy w okresie wakacji nadal będzie podlegał ubezpieczeniu zdrowotnemu jako członek rodziny pracownicy? Czy po podjęciu nauki powinna go zgłosić do tego ubezpieczenia uczelnia?