Did Ivan come up with the nickname, or did teammates and/or announcers? Unless he came out and started the "Pudge" name, I can't hold it against him. Kent, Griffey, Rodriguez, and Thomas are all sure HOFs. They might not all make first ballot, but you can't leave them out. And they all retired with Maddox and Mussina. Some might skip over them just because of the other names on the ballot but will come back to them in later years.