[mikeash]

When you say "official channels," do you mean 911, a suicide hotline, or something else? I wouldn't be surprised if 911 was a bad choice but I'd have thought/hoped the hotlines would be good.

[jMyles]

Two cases were 911, one case was a campus health center, and the other two were a mental health hotline.