“PIN” is an acronym for “Personal Identification Number”. So, saying “PIN number” is redundant. Thought you should know.