I spent over 100k on a domain. Sometimes there are very few great options that ever come up and if you value the brand name itself and the fact that search traffic on the domain has a financial value (and you're already bidding a lot of $ on those terms for a single click) then it can easily pencil out.