Да утешайте вы себя сколь угодно  А в 9 лет - любой ребенок еще совсем малыш. Без кавычек .В любом случае, желаю вам здоровья и чтобы съездил ваш сынок в лагерь отлично, отдохнул и получил только радость от поездки!