The .com domain name was already taken long before Sean started his company, so I'm assuming there are other plans for that. Possibly the .net that is still available (better grab that, Sean).
Worst case, they could always go with another name. I doubt they'd scrap the whole thing just because of a domain name issue.