$185k is a rounding error in the marketing budget of many companies
The domain for my work project was over $400k. Buying a gTLD would have been way cheaper, but wouldn't have managed to get us the cool domain we have.
edit: on the other hand, we're hostage to a country who could ruin everything. I guess someone above my pay grade rolled the dice
There's probably ten or twenty domains (not counting my own or my work's) that I can type from memory, the rest I just search for.
The other killer is that "clownfarts.com" looks like a website but www.mcdonalds looks like a typo, even to non-tech people who don't understand any TLD besides the big three.
By being a registry instead of a registrant you get an extra layer of protection that helps to ensure your domain is untouchable. I think it makes a lot of sense to use for long term infrastructure if, again, the costs aren't prohibitive.
1: "SRT® Hellcat Redeye Jailbreak" actually. I think the marketing department is staffed with 12 year olds.