The only problem with paying $35k for a domain is that you're supporting domain squatters, and giving them seed money to squat more domains. I don't think I'd want to do that, but it's not my money.
Some domain registries sell "desirable" domains for higher prices directly. Not sure that is better but at least the money goes to the people actually running the infrastructure.