Campus mental health services stretched, but available