It is an absolutely ok price for any profitable business. Domains like that are expected to be owned by real businesses, not just cybersquatters, trying to sell them later to profitable businesses. Try to find prices that cybersquatters are asking for 5-letter domains - $850 is nothing in comparison.