That could be true. But how many people do you think actually change their PIN? I think it's will be low single figure %; I think many aren't aware you can make PIN changes.
I suspect there's no way to know which of our guesses is closer to the truth without a bank providing stats, which seems unlikely to happen. Or a poll somewhere..