Hi Peter,
For now, your colleague would have to check the Team board to see if anyone's been mentioning him/her. But just to make sure no one's missing any status message pointing directly at them, we're working on a new notification to let people know whenever someone's mentioned them in a status message.