Agree! That is why I originally took it.
Still, I would prefer to have my original 8085 number back.
I wonder what 9999 and 10000 would go for?