It's been a while since we've had a lot of discussion around people spending hundreds of thousands (or millions) of dollars on a domain name. The company is pretty big and I'm sure they could afford the purchase, and I tend to agree that the ".com" domain for most businesses is much, much better than ".net" (or other domain extensions).