15歳男性　頭を分厚いファイルで叩かれた

10代/男性 - 2022/07/12

15歳の甥っ子が、書類がたくさん入った分厚いファイルで頭を思いっきり叩かれたそうです。
叩かれた経緯は…
甥っ子『俺、石あたまだから叩かれても全く痛くないよ』
友人『本当に？このファイルで叩いても痛くないの？』
甥っ子『大丈夫！叩いてよ！』
という流れで、3発くらい叩かれたみたいです。いじめとかではなくただ遊びの延長で自分から誘導したそうです（笑）馬鹿だなぁと思って聞いていたのですが『本当に大丈夫か？』と不安になりこちらに相談させていただきます。

甥っ子は叩かれたとき『多少痛いな〜』くらいでその後はすぐに痛みは治まりとくに何の変化もなく普通に過ごしているそうですが、甥っ子の両親や叔母としては『脳とか大丈夫か？15歳の男の子ならまぁまぁ力強いぞ？』と心配になっています。
吐き気やクラクラするなど症状もなく普段通り過ごしていますが大丈夫でしょうか。念のため病院に行くべきですか？気にしすぎかもしれないのですが分厚いファイルで叩かれた場合何か脳に影響などありますでしょうか。