Guys,
I called PenFed and they say that for their card, we need to select the PIN before the card is printed, because the PIN in coded in the card. And once the PIN is set, it can not be changed.
Does this mean PenFed supports online or offline terminal pin verification?