He should have reported them. This is also why Destiny shouldn't be played by anyone under 15 just because of all the jackasses that they're not prepared to deal with at a young age.