Just for the heck of it, go for the counter.
I'm interested what they would bounce back with. :p
They may buy that domain.
Afterall they are the largest IT organisation.
They can invest so much for the domain .
I was thinking some more about this last night and realized my position on this is a bit counter to my normal thinking on the matter. It is probably just easier to brand the .net name then worry about paying too much for the .com name.