When was the name announced/leaked? They would have tried to acquire relevant domains beforehand, like the guy who owned meta.com (.co? .net?) and didn't even know it was Facebook wanting to buy it off him.

iirc he got a pretty good price, but nothing like if he'd known who the buyer was.