There is very little research data on PIN prevalence available, so analysis of a new dataset of 4-digit passcodes can’t be ignored.

If a service leaks your credentials, your options are limited, but changing all your passwords to something harder to guess/break is never a bad idea.