True. From our research and speaking with customers, many tech companies have learning / professional development budgets in the range of $500-$5000. Often they're trust-based, and self-directed, so engineers are free to spend them on whatever they feel helps them most with their growth.