Ich selbst hatte das als Kind und meine Großen hatten das auch. Michi jmmert auch heute manchmal noch. Gemacht hab ich da eigentlich nichts, aber sie haben auch nicht geweint.
Wenn es so schlimm ist, würde ich ihm auch ein Zäpfchen geben, bzw. Nurofen-Saft. Den kannst du doch gut dosieren.