Just found out that DS was attacked/mugged a few days ago. It's a well known college, and happened on campus. He is OK apart from a few bruises from a scuffle and cracked phone (he was the wrong person to mug, since he's done martial arts for years).
I'd also hope that they'd have CCTV since it was close to sports pitch and changing rooms.
He's not sure we want to report, since he'll be away from the summer. Would you report something like this?
I could probably encourage him to do so, since it might save trouble for future students.