If you insist on using a PIN and not a password (as we'll discuss later on), then at least change to a 6-digit PIN. Just those extra two digits increase the complexity of a PIN code from 10,000 ...