"5% of every knowledge workers salary to go into tokens. 20% if you're a developer"

Not unreasonable. I'm a hardware developer, and my employer spends ~10% of my salary on software tools. Add hardware tools and their maintenance and it's more like 30%.