John Robinson (American football) — Remembered