My son and I had it in May (before our summer vacation trip). We didn't catch it again after that, and the symptoms were generally mild with some lingering cough and tiredness (not severe, but noticeable, for a month or so after). My wife didn't get it in May but did catch it in London in late June (was going gangbusters there at the time, including affecting airport travel, etc., due to lack of workers) and she was pretty wiped out for three days in Paris before starting to feel better. She was definitely feeling lingering tiredness/fatigue for a couple months after.
It's no joke, and we were all glad our symptoms were generally mild overall (my wife had the worst effects, but even then never severe). We were all vaccinated and I think that definitely helped keep the symptoms more "manageable".
Hopefully he's back to normal quickly but it could linger a bit based on our experiences....