Just consider that every time somebody yells "Hey, Leaps!" that fella is going to be thinking about his behavior....That'll take a year or two to wear off, and hopefully someday he'll think it's a funny story.
I think you did the right thing, BTW. Top to bottom. Except the nickname