Why repeats and leading zeros are allowed
Removing values such as 0007 or repeated digits makes the remaining set predictable and smaller. Uniform generation treats every sequence of the chosen length equally.
Do not reuse a PIN
A PIN for one device or account should not become a universal secret. Generate a new one for each separate use.