Kopfschmerzen nach Impfung

Hallo,

wie lange sind Kopfschmerzen nach der Biontech Impfung normal (Boosterimpfung)? Es geht nicht um mich, sondern um meinen 16-jährigen Sohn. Er bekam Mittwoch Nachmittag die dritte Impfung und heute, ca. 72 Stunden nach der Impfung, sind die Kopfschmerzen immer noch da. Anscheinend nicht sehr stark, aber durchgehend. Paracetamol oder IBU helfen nur kurz. An sich finde ich Kopfschmerzen nach der Impfung nicht ungewöhnlich und auch nach den beiden ersten Impfungen hatte er Kopfweh, da aber für maximal 24 Stunden. Sonst hat er keinerlei Nebenwirkungen. Wenn die Schmerzen noch da sind, muss ein Arzt am Montag drüber schauen? Oder ist es völlig normal?

Danke für eure Erfahrungen.
LG
Crisgon