Mantis definitely was a solid Big-10 player. I didn't know him but others who did said he was an equally fine person.
I'm of an age to scour obituaries, looking to see who's listed. So far my name hasn't been, so that's good. But it's discouraging to see names of how many people I've known or at least known of.