Why do you doubt $3k/yr? Corporate usage skews a lot higher, when it's evaluated against hiring, not as a nice to have addon.
If $10k/yr means you get work done with one less hire that's an easy decision.