Hiring itself and losses from going without are very expensive, I find it weird that any company wouldn't rather retain. I wouldn't ever be surprised that hiring cost $10k all up.
If a company only used external recruiters for any position above 100K it's going to cost them 15K+. More likely 25K. Now if they try on their own as well by posting jobs, hiring internal recruiters, network... Hiring is expensive.