Tipping is a mechanism that we forget far too often, myself included!
Indeed, the logic as you described makes perfect sense, hence why I mentioned that the early users have the greatest benefit. The mechanism of ninjamining tokens makes it even more potent, as they may not have bought into their high stake like later users did.
Appreciate this input. I simply hope that he'll eventually leave the community alone. I don't mind a "tax" on my own personal earnings as long as the community thrives.