There are probably countless other things they could do which would move the revenue numbers more than supporting Linux.