Origin of the name Rocky

Diminutive of Rocco or other names beginning with a similar sound, or else a nickname referring to a tough person. This is the name of a boxer played by Sylvester Stallone in the movie 'Rocky' (1976) and its five sequels.