Over $2B ARR now.

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.