How much should you pay for a good domain?

There is a domain I want to get for a side project I'm working on, but someone has it and is asking a lot of money for it. How much would you guys pay for a .com domain? The .app domain is available for it as well. It would obviously be much cheaper going for that domain, but do you think it will impact SEO or traffic at all? What did you pay for yours? Bonus points for whoever paid the most for a domain ;)