Mike Leach was a character. But a character with so much substance