Correct, but since "pepinillos" is not widely used, "pepinos" is understood by context to mean the pickled variety.

This is the case for Mexicans in the southwest USA. Things might be different for other regions/nationalities.