More likely the number 10000 is now entrenched in so many varied locations in the last 50 years that it would be a monumental undertaking to try and adjust it successfully.