10% would be 500 million. That is a little excessive for 1 guy. I think 100 million per developer is good and we should have no problem attracting talent.
If we are going to get a dev team, it may not be just 1 guy and 10% seems good to me, for developing and maintaining the new coin.