Was there ever a "Nick Cheronis"?

Did we dream the whole thing? Was he a figment of our imagination? After spending 53+ years at Florida, Coach Cheronis has apparently left the Gators. How do we even know that much? Well, in the gatorzone.com article announcing the promotion of Chris Keen, waaaaay at the bottom of the article, was this:

The opening on the staff was due to the departure of associate head coach Nick Cheronis, who chose to enter private business.

Gosh, don't blubber all over the place. I haven't seen a goodbye that heartfelt since Joe Pesci shot Spider in "Goodfellas."